for n being Nat ex R being finite RelStr st
( stability# R = 2 & cliquecover# R > n )