>>40-41
上記>>38の記号で
U−(As+Bs)＝I ・・(1)
を導いたよね

ここに
和集合(英union) U：=A∪B
積集合（共通部分 英: intersection）I：=A∩B
だね

(1)式から直ちに（移項して）
U＝I+(As+Bs) ・・(2)
が出る

なお （>>38と同様に）
As：=A−I
Bs：=B−I
(積集合A∩B＝Iが与えられている前提だから、これは可能）■