for D being non empty set holds omega c= card (D *)