Remark. Demonic nondeterminism [dt-0066]

Note that all sets that contain \bot are considered equivalent by the Smyth construction \approx _S. Thus, this models demonic non-determinism: Of the three programs in Remark [dt-0063], the Smyth semantics considers 2 and 3 to be the same. Thus, the possibility of divergence \bot is no different from inevitable divergence.