As in the case of traditional programs, each element of any stable model of a disjunctive program P {\displaystyle P} is a head atom of P {\displaystyle P} , in the sense that it occurs in the head of one of the rules of P {\displaystyle P} .
Як і у випадку традиційних програм, кожен елемент будь-якої стійкої моделі диз'юнктивної програми P {\displaystyle P} є атомом голови P {\displaystyle P} , в тому сенсі, що він трапляється в голові одного з правил P {\displaystyle P} .