-2
$\begingroup$

Does there exist some notation to indicate that all elements of a set X are smaller than all elements of a set Y?

$\endgroup$
3
  • 4
    $\begingroup$ $\max X < \min Y$? $\endgroup$
    – angryavian
    May 19 at 14:40
  • 2
    $\begingroup$ @angryavian that does not work if e.g. $X=(0,1)$ and $Y=\{1\}$. $\endgroup$
    – Vera
    May 19 at 14:43
  • $\begingroup$ @angryavian - Is there any guarantee that max (or sup) and min (or inf) exist? $\endgroup$ May 19 at 14:47

2 Answers 2

2
$\begingroup$

You can state:$$\forall x\in X\forall y\in Y[x<y]$$I cannot find a shortcut by means of suprema, infima, maxima or minima. So if that's what you are looking for then this does not answer your question.

$\endgroup$
2
  • $\begingroup$ Maybe also $y > \max X$ for all $y \in Y$? $\endgroup$ May 19 at 14:56
  • 1
    $\begingroup$ But there are situations where $X$ does not have a maximum. E.g. if $X=(0,1)$. A maximum of $X$ is by definition an element of $X$. $\endgroup$
    – Vera
    May 19 at 14:58
1
$\begingroup$

$\forall x \in X, \forall y \in Y, x < y$

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.