theorem Th19: :: DILWORTH:19

for R being with_finite_clique# RelStr st clique# R = 1 holds
[#] R is StableSet of R