8.15. Отношение ЛИБО между состояниями

N множеств состояний S1 .. SN называются связанными отношением ЛИБО на селекторе sel,

S1 ЛИБОsel ... ЛИБОsel SN

если для них существует сумма на sel. █

Назад Вперёд