最終更新日: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).
編集履歴(0)
A partially ordered set ⟨A,𝜚⟩ consists of a nonvoid set A and a binary relation 𝜚 on A, such that 𝜚 satisfies properties (P1)-(P3).