مثلا مجموعه مرجع [1.2.3.4.5.6.7]
A=[1.2.3]
B=[4.5.6.7]
A'=[4.5.6.7]
B'=[1.2.3]
اجتماع متمم A و متمم B=[1.2.3.4.5.6.7] میشه یعنی همون مرجع
حالا اجتماعش با A اجتماع با B که میشه [1.2.3.4.5.6.7]
در نهایت B=[1.2.3.4.5.6.7] اجتماعش با [1.2.3.4.5.6.7] جواب همون مرجع میشه
