¿Existe alguna notación específica para expresar que un conjunto R es una relación entre X e Y, o una relación sobre Z?
Actualmente lo expreso como R $\subseteq$ X x Y y R $\subseteq$ Z x Z en términos de subconjunto, o como $\forall$ (x, y) $\in$ R((x, y) $\in$ X x Y) y $\forall$ (x, y) $\in$ R((x, y) $\in$ Z x Z) con cuantificadores universales (que pueden simplificarse a la notación de subconjunto mencionada anteriormente).
¿Existe esa notación?
No, no hay ninguna otra notación de este tipo de uso común que se puede confiar en que un lector al azar lo entienda sin explicarlo específicamente.
(Siempre puede definir su propia notación, por supuesto, pero dado que $R\subseteq X\times Y$ es corto y directo, sería discutible si hace algo más legible).
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
