Hola Agustín:
¿ya tenés escrita la definición inductiva del conjunto SUBF? En los mensajes anteriores se habla de cómo escribir las claúsulas de esta definición.
Una vez que tenés esta definición, el PIP correspondiente sale bastante directo.
Por ahí veo que ponés una propiedad concreta. Eso no está bien, el PIP se formula para una propiedad genérica. Esa propiedad se explicita cuando se hace alguna prueba concreta como sucede en la parte c)