:: deftheorem defines reflexive ALTCAT_2:def 7 :
for C being non empty AltGraph holds
( C is reflexive iff for o being Object of C holds <^o,o^> <> {} );