ブルバキの構造主義、普遍代数みたいに発展すれば良かったんやけどな
というか順序集合ってそれ自体(豊穣)圏やから代数的構造やろ