Preorders* are reflexive and transitive, but not necessarily either symmetric or antisymmetric. (eg european languages that make a T/V distinction have shifted

Preorders* are reflexive and transitive, but not necessarily either symmetric or antisymmetric. (eg european languages that make a T/V distinction have shifted from antisymmetric to symmetric use) * and hence finite topologies, a class to which any social topology belongs?