theorem :: MYCIELSK:12

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