Una relación unaria R es el subconjunto de los elementos de
1
{\displaystyle A_{1}}
que cumplen una determinada condición: