 The situation is different, however, as regards the order structure of \(\bR\) in SIA. Because of the failure of the law of excluded middle, the order relation \(\lt\) on \(\bR\) in SIA cannot satisfy the trichotomy law