theorem Th36: :: SETFAM_1:36

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