LIST OF REALS

Definition A <LIST OF REALS> is a <LIST STRUCTURE> if and only if: it is a <LIST>; each item is a <REAL NUMBER>