for R being finite transitive antisymmetric RelStr ex C being Clique-partition of R st card C = stability# R