Основы логики: рефлексивность, симметричность и транзитивность