Рефлексивность, симметричность, транзитивность и мать бы их эквивалентность.