Decimos que los términos son extensionalmente iguales.