:: deftheorem Def6 defines gt AOFA_I00:def 6 :
for t1, t2, b₃ being INT -valued Function holds
( b₃ = gt (t1,t2) iff ( dom b₃ = (dom t1) /\ (dom t2) & ( for s being object st s in dom b₃ holds
b₃ . s = IFGT ((t1 . s),(t2 . s),1,0) ) ) );