A necessary and sufficient condition for a space to be infrabarrelled or polynomially infrabarrelled - Cueva, Miguel Caldas (Array, 1999)