Аннотация. Выявлены логические свойства и импликации на подмножестве марковских свойств систем зависимостей, структурированных ориентированными графами. Результаты действительны для широкого класса структур, включая смешанные графы и структуры с ориентированными циклами. Определены три типа сепараторов: минимальные, локально-минимальные и неизбыточные. Сформулированы необходимые требования к членам неизбыточного сепаратора и принципы формирования неизбыточных сепараторов из элементарных фактов (не) зависимости.

Ключевые слова: марковские свойства, циклические и ациклические орграф, m-сепарация, неизбыточным сепаратор, коллайдер, идентификация ребер модели.