Definition of "infolds"