Принадлежность

Question

Бинарное отношение это множество из пар. Да и вобще любое n-арное отношение является прямым произведением множеств.
Но, в любом случает выходит, что отношение — это множество, так?
Запись xRy сложилась исторически, это херня, типа синтаксический сахар. На самом деле мы имем в виду
 (x, y)

Answer 1

А ты упорен!
Вспомнился Морис Клайн:
"Доказательство называется строгим, если таковым его считает большинство математиков".
Но тут-то ситуация еще прикольне: -)

Я на своей точке зрения наставивать не буду, но попробую е аргументировать:
Принадлежность явно используется в аксиомах Цермело-Френкеля. Сам по себе этот факт не мешает ей быть отношением, но мешает определить принадлежность, как отношение.

Вобще, я уже всё забыл. Других тоже интересно послушать.