Mathematically you could express the concept of a (partially ordered) set by something like <S,P(x1,x2)> (where P is some comparison function), so, for example,

Mathematically you could express the concept of a (partially ordered) set by something like <S,P(x1,x2)> (where P is some comparison function), so, for example, the sorted natural numbers would be <N,<>. I have no idea, though, if that's even remotely close to what you're asking.