+
−
⟲
S
T
{*}
f(*)=s
f(*)=t
σ(s)=t