Write paper about arbitrary weak orders

[bvssvni]

Basic points about arbitrary weak orders:

• A "default" order for absence of arbitrary equivalences
• Transformations through arbitrary equivalences

[bvssvni]

I'm not sure whether it should be called "arbitrary weak order" or "arbitrary strong order".

The word "strong" is often used when you can prove more stuff.
However, the word "weak" is intuitive when when you think about the order collapsing to some degree.