標籤: 暫無標籤

由兩個元素x和y(允許x=y)按照一定的順序排列稱的二元組叫做有序對或序偶,記作(x,y),其中x是它的第一元素,y是它的第二元素。

有序對(x,y)具有以下性質:

當x\neqy時(x,y)\neq(y,x)
(x,y)=(u,v)當且僅當x=u且y=v
這些性質是二元集合\{x,y\}所不具備的,因為集合中的元素是無序的,因此當x\neqy時\{x,y\}=\{y,x\}。

也可以用集合來定義有序對。定義

(x,y)=\{\{x\},\{x,y\}\}
顯然可見這樣的定義滿足有序對的性質。

上一篇[枝組]    下一篇 [有界集合]

相關評論

同義詞:暫無同義詞