eltranzitiv: d-szimbolumokat keresunk, ezert az indukalt feltetelekkel kevesebb
diagramot kell felsorolni

splitting: jelolesek