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

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