As in the traditional case, the stable models of a disjunctive program are minimal and form an antichain.
Як і у традиційному випадку, стійкі моделі диз'юнктивної програми є мінімальними, та утворюють антиланцюг.