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