数学分支序理论中,良拟序或良预序是特殊的预序关系,其元素的任意无穷序列
x
0
,
x
1
,
x
2
,
…
{\displaystyle x_{0},x_{1},x_{2},\ldots }
中,必有先后两项递增,即存在
i
<
j
{\displaystyle i
使
x
i
≤
x
j
{\displaystyle x_{i}\leq x_{j}}
。
在数学中,预序类就是带有预序关系的类。
数学分支序理论中,良拟序或良预序是特殊的预序关系,其元素的任意无穷序列
x
0
,
x
1
,
x
2
,
…
{\displaystyle x_{0},x_{1},x_{2},\ldots }
中,必有先后两项递增,即存在
i
<
j
{\displaystyle i
使
x
i
≤
x
j
{\displaystyle x_{i}\leq x_{j}}
。
数学分支序理论中,良拟序或良预序是特殊的预序关系,其元素的任意无穷序列
x
0
,
x
1
,
x
2
,
…
{\displaystyle x_{0},x_{1},x_{2},\ldots }
中,必有先后两项递增,即存在
i
<
j
{\displaystyle i
使
x
i
≤
x
j
{\displaystyle x_{i}\leq x_{j}}
。
数学分支序理论中,良拟序或良预序是特殊的预序关系,其元素的任意无穷序列
x
0
,
x
1
,
x
2
,
…
{\displaystyle x_{0},x_{1},x_{2},\ldots }
中,必有先后两项递增,即存在
i
<
j
{\displaystyle i
使
x
i
≤
x
j
{\displaystyle x_{i}\leq x_{j}}
。
在数学中,有向集合,是一个具有预序关系的非空集合 A,而且每一对元素都会有个上界,亦即对于 A 中任意两个元素 a 和 b,存在着 A 中的一个元素 c,使得 a ≤ c 和 b ≤ c。
在数学中,有向集合,是一个具有预序关系的非空集合 A,而且每一对元素都会有个上界,亦即对于 A 中任意两个元素 a 和 b,存在着 A 中的一个元素 c,使得 a ≤ c 和 b ≤ c。