User blog comment:C7X/CNF Comparison Algorithm/@comment-32213734-20200106184503/@comment-37485018-20200107150019

So if I understand correctly, the domain of the < relation is still T, but the relation is only useful for expressions in OT.