Relación unaria

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

${\displaystyle R=\{a_{1}:\;a_{1}\in A_{1}\;\land \;R(a_{1})=Verdadero\}}$