theorem :: MYCIELSK:14

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