for D being set
for F being Subset-Family of D st F <> {} holds
COMPLEMENT F <> {}