Композиція представляє собою одиничну форму правила перетину Відношення слідування є узагальненням відношення передпорядку на сукупності і об'єкти (або на дві сукупності об'єктів, коли відношення слідування множинно по обом сторонам, як у випадку генценівських систем класичної логіки). Відношення передпорядку є спеціальним видом дедуктивної системи, оли за кожною парою об'єктів є принамні одна стрілка із початком й кінцем Передвпорядковані графи виконують еквівалентність, яка має місце для кожної дедуктивної системи: Зправа наліво це дає