for U being Universe holds
( U is uncountable iff omega in U )