two ordered sets X,Y are said to have the same order type just when they are order isomorphic, that is, when there exists a bijection f: X → Y such that both f and its inverse are strictly increasing
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).