🇯🇵 ja en 🇬🇧

半順序集合

partially ordered set