:: deftheorem Def11 defines -extending PROOFS_1:def 12 :
for B, B1 being set holds
( B1 is B -extending iff B c= B1 );