 The class \({\cO}\) of ordinal notations, the partial ordering relation \(\relLTcO\) between such notations, and the ordinal \({\mid}{a}{\mid}\) denoted by \(a\in {\cO}\) are defined simultaneously as follows: