5.2 Structure Level

As we mentioned in the begining, mode has the following structure level. Set is the widest mode, for example, there is Real below it and Nat below Real. In other words, Nat becomes set, Real becomes set, and Nat becomes Real. This way of thinking is similar to an Object Oriented Language. The same symbols are used from the top.