а ещё бывают отношения, симметричные и транзитивные, но при этом не рефлексивные, кроме пустого?
А можно так: имеем множество из 1 юноши и 2 девушек, приехавших на уик-энд в заброшенный дом, вводим отношение "плотские утехи", при этом допускаются "плотские утехи" в любых парах и в гордом одиночестве, кроме юноши, который хорошо знает библейские истории и потому не склонен к разного рода отклонениям? Такое отношение будет симметрично, транзитивно и нерефлексивно?
Переводя на скучнейший язык математики - на множестве

вводим с помощью отношения пары

. И вроде как оно нерефлексивно. Так?