Проверить, является ли бинарное отношение рефлексивным, симметричным, транзитивным