theorem Th224: :: XXREAL_1:224

REAL = ].-infty,+infty.[