la clase de referencia de un predicado nario P, que figura en un contexto C y tiene la forma P : A X B X ... X N --> S, es el conjunto de los miembros de todos los factores que figuran en su dominio. En símbolos, Rc(P) = A U B U ... U N. También estipulamos que la clase de referencia de una proposición es igual a la unión de las clases de referencia de todos los predicados que figuran
LIN:125.25
FIGURARI - Hallarse o encontrarse [entre los elementos de un grupo o conjunto]