:: deftheorem Def3 defines -FanMorphW JGRAPH_4:def 3 :
for s being Real
for b₂ being Function of (TOP-REAL 2),(TOP-REAL 2) holds
( b₂ = s -FanMorphW iff for q being Point of (TOP-REAL 2) holds b₂ . q = FanW (s,q) );