問12
12 / 25
和両立である関係RとSがある。ROSと等しいものはどれか。ここで、一は差演 算,つは共通集合演算を表す。
R-(R-S)
R-(S-R)
(R-S)-(S-R)
S-(R-S)
和両立の関係で共通集合R∩Sは、Rから「RにあってSにない部分」を引けば得られる。すなわちR∩S=R−(R−S)。他の式は差の向きが異なり共通集合にはならない。