Отношение зависимости
- Отношение зависимости в информатике является бинарным отношением в конечной области Σ.
- Отношение зависимости обобщает понятие отношения эквивалентности, отбрасывая транзитивность.
- Независимость, вызванная D, определяется как совокупность всех упорядоченных пар, не находящихся в D.
- Отношение независимости является симметричным и нерефлексивным.
- Пара (Σ, D) называется параллельным алфавитом, а (Σ, I) — алфавитом независимости или алфавитом доверия.
- Замыкание эквивалентности обозначается ≡ или ≡ (Σ, D, I) и называется эквивалентностью.
- Классы эквивалентности ≡ называются следами и изучаются в теории следов.
Полный текст статьи: