:: deftheorem Def9 defines -FanMorphS JGRAPH_4:def 9 :
for c being Real
for b₂ being Function of (TOP-REAL 2),(TOP-REAL 2) holds
( b₂ = c -FanMorphS iff for q being Point of (TOP-REAL 2) holds b₂ . q = FanS (c,q) );