for R being finite RelStr
for C being Clique-partition of R holds card C >= stability# R