theorem Th11: :: MYCIELSK:11

for R being finite RelStr holds clique# R <= card the carrier of R