Subset lift for involutive reifications (should always be the case)