:: deftheorem Def24 defines stability# SCMYCIEL:def 24 :
for G being with_finite_stability# SimpleGraph
for b₂ being Nat holds
( b₂ = stability# G iff ( ex A being finite StableSet of G st card A = b₂ & ( for T being finite StableSet of G holds card T <= b₂ ) ) );