Consultas de Práctico

Hola.
Posfijo es un predicado (una relación); es razonable que sea un Prop.
En general, en Set se ponen los tipos de datos y elementos con información computacional, y en Prop se formalizan predicados y relaciones que permiten especificar comportamiento.
Saludos