:: deftheorem Def5 defines -FanMorphN JGRAPH_4:def 5 :
for c being Real
for b₂ being Function of (TOP-REAL 2),(TOP-REAL 2) holds
( b₂ = c -FanMorphN iff for q being Point of (TOP-REAL 2) holds b₂ . q = FanN (c,q) );