for R being symmetric RelStr
for C being Clique of R holds C is StableSet of (ComplRelStr R)