:: deftheorem defines -axiomatic PROOFS_1:def 9 :
for B being set
for a being object holds
( a is B -axiomatic iff a in B );