Максимальные предикатные задания множеств отображений

Работа выполнена в рамках алгебраического подхода и посвящена проблеме описания множеств отображений посредством пар $m$-местных предикатов. Из множества всех возможных предикатных описаний выделены максимальные и получены необходимые и достаточные условия максимальности. На примере отношения частичного порядка и отношения “между” показано, что при заданном предикате на множестве значений из необходимых условий максимальности следуют некоторые свойства предикатов на множестве определения. С учетом этого предлагается аксиоматика для отношения “между” и рассматриваются примеры подобных отношений. Библ. 8.