for T being set
for F being Subset-Family of T holds
( F is countable iff COMPLEMENT F is countable )