:: deftheorem Def1 defines functional ALTCAT_5:def 1 :
for C being AltGraph holds
( C is functional iff for a, b being Object of C holds <^a,b^> is functional );