En matemáticas, una relación unaria R, en un conjunto A, es el subconjunto de los elementos x de A que cumplen una determinada condición que define R: