:: deftheorem Def10 defines reflexive FUNCTOR0:def 10 :
for A, B being non empty AltGraph
for F being BimapStr over A,B holds
( F is reflexive iff for o being Object of A holds the ObjectMap of F . (o,o) = [(F . o),(F . o)] );