La proposición así analizada queda definida como "relación entre clases".