:: deftheorem defines _zero ALTCAT_3:def 11 :
for C being AltGraph
for o being Object of C holds
( o is _zero iff ( o is initial & o is terminal ) );