el resultado de cualquier operación entre irracionales es irracional

El entorno de los inversos multiplicativos: todos los números racionales tienen uno (excepto el cero)