:: deftheorem Def4 defines CayleyIso CAYLEY:def 4 :
for G being Group
for b₂ being Function of G,(SymGroup the carrier of G) holds
( b₂ = CayleyIso G iff for g being Element of G holds b₂ . g = * g );