对于$A$中的子集$M$，$A$中元素$a$称为子集$M$的一个上界（下界），如果对$M$中任意元素$m$，都有$m\le a(a\le m)$，$M$的上（下）界未必在$M$中，甚至$M$未必有上界（下界）。