theorem Th16: :: DILWORTH:16

for R being RelStr
for A being StableSet of R
for B being Subset of A holds B is StableSet of R