「圏論/代数系/代数系」の版間の差分
削除された内容 追加された内容
編集の要約なし |
編集の要約なし |
||
36 行
<math>\bot' \in \Omega'</math> の項数とが一致し，また <math>\Sigma</math> と <math>\Sigma'</math> の元数とが一致するとき，
二つの代数系 <math>\tilde{A}</math> と <math>\tilde{B}</math> は'''同種'''であるという．
特に <math>\Omega</math> と <math>\Omega'</math>，<math>\Sigma</math> と <math>\Sigma'</math> の間にそれぞれただ一つの一対一対応を考えているときにはそれらによって対応する演算，関係はしばしば同一視し，同じ記号で書き，また <math>\Omega', \Sigma'</math> も <math>\Omega, \Sigma</math> と同一視して同じ記号で書く．
| |||