kunligaĵo ^2.a

vidu

projekcio ^1.b

transitiva ^2.a