make sure all elements required in the definition of isinf are defined in their turn