Si un espacio cumple este axioma se dice que es primero contable o primero numerable.