Definition of dense set

545 Views Asked by At

Is this definition is correct?:

Let $\preceq$ an order in $A$, $B \subset A$, with $B \neq \emptyset $. Then $B$ is a dense set in $A$ if $$\forall x,y \in A ( x \prec y \to \exists b \in B( x \prec b \prec y))$$

Thanks in advance!

P.S. $x \prec y$ means $x \preceq y \,\land\, x \neq y $ and $B \subset A$ means $B \subseteq A \,\land\, A \neq B$.

2

There are 2 best solutions below

6
On BEST ANSWER

If $\preceq$ is a linear order, your definition is correct. If $\preceq$ is a partial order, your definition is probably correct, though there is another notion of dense subset of a partial order that is important in set theory: $B$ is dense in $A$ if for each $a\in A$ there is a $b\in B$ such that $b\preceq a$.

0
On

According to Wikipedia, your definition is correct.