欢迎您访问 最编程 本站为您分享编程语言代码,编程技术文章!
您现在的位置是: 首页

[集合论]二元关系(定义域 | 值域 | 域 | 逆运算 | 逆合成运算 | 限制 | 同类 | 奇异根 | 奇异值 | 合成运算的性质) - IX.

最编程 2024-03-20 21:57:51
...


R 1 , R 2 , R 3 R_1, R_2, R_3 R1,R2,R3 是三个集合 , 则有以下性质 :

( R 1 o R 2 ) o R 3 = ( R 1 o ( R 2 o R 3 ) ) (R_1 o R_2) o R_3 = (R_1 o ( R_2 o R_3 )) (R1oR2)oR3=(R1o(R2oR3))



F , G F, G F,G 是两集合 , 有以下性质 :

( F o G ) − 1 = G − 1 o F − 1 (F o G)^{-1} = G^{-1} o F^{-1} (FoG)1=G1oF1

合成运算的逆 等于 两个集合逆的合成 ;