el conjunto de los enteros negativos mayores que 23?