for X being set holds
( 2 c= card X iff not X is trivial )