for X being set
for F, G being Subset-Family of X st COMPLEMENT F = COMPLEMENT G holds
F = G