Concretamente, es (si se requiere que no sea vacío):