9.19. Отношение ЛИБО между ВС

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

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

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

N ВС vs1 .. vsN называются связанными отношением ЛИБО на селекторе sel,

vs1 ЛИБОsel ... ЛИБОsel vsN

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

█

Назад Вперёд