theorem Th21: :: MYCIELSK:21

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