Introduction
Comme dans le cas de l'ensemble \(\mathbb R^{\mathbb N}\) des suites réelles, on définit sur \(F(I, \mathbb R)\) des opérations et une relation d'ordre à partir des opérations et de la relation d'ordre sur \(\mathbb R\).
Comme dans le cas de l'ensemble \(\mathbb R^{\mathbb N}\) des suites réelles, on définit sur \(F(I, \mathbb R)\) des opérations et une relation d'ordre à partir des opérations et de la relation d'ordre sur \(\mathbb R\).