Cтраница 2
С помощью атомарных ситуаций и бинарных отношений формализуется понятие структуры дискретной сети. Структурой дискретной сети является совокупность атомарных ситуаций и бинарных отношений между ними. Геометрически структура дискретной сети задается в виде ориентированного графа, вершинами которого являются атомарные ситуации, а дугами служат бинарные отношения, рассматриваемые в языке описания ситуаций. [16]