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