「圏論/代数系/代数系」の版間の差分
削除された内容 追加された内容
編集の要約なし |
編集の要約なし |
||
15 行
これを <math>\bot</math> の <math>X</math> 上への'''制限'''といい，同じ記号 <math>\bot</math> で表し，
またこれらの族も <math>\Omega</math> で表す．
同様に各 <math>\rho \in \Sigma</math> (<math>n</math> 元関係）に対して <math>\rho \cap X^n</math> は <math>X</math> 上の関係である．
これを <math>\rho</math> の <math>X</math> への'''制限'''といい，同じ記号 <math>\rho</math> で表し，またこれらの族も <math>\Sigma</math> で表す．
このようにして <math>\tilde{A}</math> の部分代数系 <math>X</math> はまた一つの代数系 <math>\tilde{X} = (X, \Omega, \Sigma)</math> を作る．
| |||