Definition of "enfolds"