Definition of Dedekind cut as initial segment
the definition of Dedekind cut by initial segment is correct:
"let $\preceq$ be a linear ordering of a set $A$, and $B \subsetneqq A$,
$B$ is Dedekind cut of $A$ under $\preceq$ if $B$ is initial segment of
$A$ under $\preceq$ and $B$ has no largest element under $\preceq$"
???
Thanks in advance!
No comments:
Post a Comment