theorem Th30: :: DILWORTH:30

for R being RelStr
for S being Subset of R
for A being StableSet of (subrelstr S) holds A is StableSet of R