Conjunt de clases del PROP