docoo
Definición propia
Una definición que hace referencia a un único elemento es una definición propia.
Un único elemento es una constante.
Todos los nombres propios son definiciones propias.
ej:
  • El número $\pi$ es una definición propia.
  • Una definición propia no tiene por que darse de manera explicita, si define un único elemento será propia, dos rectas que se cortan definen un único punto de manera inequívoca, luego si damos estas dos rectas, será una definición propia de este punto.
--