---
type: "concept"
title: "Poset"
slug: "poset"
language: "en"
translationGroupId: "cmr21gzyi000fmo01wmduapjz"
domain: "Logic"
status: "stub"
aliases: ["Partially ordered set"]
lastEditedBy: "ancient-tree"
---

A poset $(P,\leq)$, or partially ordered set, is a [[Set|set]] $P$ equipped with a [[Relation (set theory)|relation]] $\leq$ that is [[Reflexive relation|reflexive]], [[Antisymmetric relation|antisymmetric]], and [[Transitive relation|transitive]]. 

#

##### Examples