Last Updated：2022/12/24
A partially ordered set ⟨A,𝜚⟩ consists of a nonvoid set A and a binary relation 𝜚 on A, such that 𝜚 satisfies properties (P1)-(P3).
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
