:: deftheorem defines \typed/ FOMODEL0:def 17 :
for A, B being set holds A \typed/ B = A;