「圏論/代数系/代数系」の版間の差分

削除された内容 追加された内容
編集の要約なし
編集の要約なし
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> を作る.