# Uniqueness of meets and joins in posets

Exercise 1.2.8 (Part 2), p.8, from Categories for Types by Roy L. Crole.

Definition: Let $X$ be a preordered set and $A \subseteq X$. A join of $A$, if such exists, is a least element in the set of upper bounds for $A$. A meet of $A$, if such exists, is a greatest element in the set of lower bounds for $A$.

Exercise: Suppose that $X$ is a poset (and thus also a preorder). Show that meets and joins in a poset are unique if they exist.

-
I have posted my solution as an answer and would appreciate any feedback. Thanks. – Code-Guru Jul 23 '12 at 17:41

1
Please choose titles that describe the problem, not it's location. – Gone Jul 23 '12 at 18:37
@BillDubuque Is that better? – Code-Guru Jul 23 '12 at 18:39

1
Much better, thanks. – Gone Jul 23 '12 at 19:03

1
– Martin Sleziak Jul 24 '12 at 10:41
show 1 more comment

## 1 Answer

Let $A \subseteq X$ and suppose $x$ and $y$ are both joins of $A$. Then $x$ and $y$ are both upper bounds of $A$. So $A \le x$ and $A \le y$. But since $x$ and $y$ are joins of $A$ and $x, y \in X$, $y \le x$ and $x \le y$. Therefore, $x = y$ because because $\le$ is anti-symmetric. Meets are unique by a similar argument.

-

1
Your solution seems fine. Just a remark about notation - I am not sure whether $A\le x$ is frequently used as a shortcut for $(\forall a\in A) a\le x$. (But if it used this way in your course/book, then it is certainly ok for you to use this notation.) – Martin Sleziak Jul 24 '12 at 10:44
@MartinSleziak That is the notation used in the textbook I am reading. When i typed this up, I wondered if it was a standard notation or not. – Code-Guru Jul 24 '12 at 13:25
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 26, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9126518964767456, "perplexity_flag": "head"}