:: deftheorem defines {} PARTIT_2:def 1 :
for A, B being set holds {} (A,B) = {} ;