theorem :: CLASSES5:71

for U being Universe
for c being set st c in card U holds
card (bool c) in U