:: deftheorem Def7 defines -FanMorphE JGRAPH_4:def 7 :
for s being Real
for b₂ being Function of (TOP-REAL 2),(TOP-REAL 2) holds
( b₂ = s -FanMorphE iff for q being Point of (TOP-REAL 2) holds b₂ . q = FanE (s,q) );