InducedRel OrderingByInjection OrderingByLess
next node: InducedRel, prev node: FunctConv, up to node: Subsystem Functions