. Por lo tanto, es de la forma D: B X M X B --> S, de modo que su clase de referencia es B U M U B = B U M. En general, estipulamos que la clase de referencia deunpredicadonarioP,quefiguraenun 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
LIN:125.21
FIGURARI - Hallarse o encontrarse [entre los elementos de un grupo o conjunto]