Definition:Ordered Sum/Informal Interpretation
Jump to navigation
Jump to search
This page is deprecated. In particular: See Definition:Ordered Sum To discuss this page in more detail, feel free to use the talk page. |
Definition
We can consider the ordered sum $\struct {S \cup T, \preceq}$ as:
- First the whole of $S$, ordered by $\preceq_1$
- After that, the set $T \setminus S$, ordered by $\preceq_2$, where $T \setminus S$ denotes set difference.