
theorem Th44: :: Wsubp0:
for R being with_finite_stability# RelStr, S being Subset of R
 holds stability# subrelstr S <= stability# R
proof
 let R be with_finite_stability# RelStr, S be Subset of R;
   consider As being StableSet of subrelstr S such that
A1: card(As) = stability# subrelstr S by Def6;
   As is StableSet of R by Th30;
 hence stability# subrelstr S <= stability# R by A1,Def6;
end;
