Встретил как-то утверждение (не помню, где), что взаимно-однозначное соответствие (между множествами) - это мета-понятие к теории множеств. Грубо говоря, понятие из естественного языка. С другой стороны, посмотрим на него как на функцию-отображение и т.д. То есть, оно выглядит как рядовая теоретико-множественная (не мета-) конструкция. Просвятите пожалуйста, каков здесь точный ответ. Это мета- или не мета-понятие?
|