:: deftheorem Def11 defines ReperAlgebra MIDSP_3:def 11 :
for n being Nat
for b₂ being non empty MidSp-like ReperAlgebraStr over n + 2 holds
( b₂ is ReperAlgebra of n iff b₂ is being_invariance );