极小元 编辑
设






{\displaystyle }

是偏序集，



B
⊆
A


{\displaystyle B\subseteq A}

，



y
∈
B


{\displaystyle y\in B}

，若对于所有的



x
∈
B


{\displaystyle x\in B}

，



x
≤
y
 

⟹

 
x
=
y


{\displaystyle x\leq y~\implies ~x=y}

，则称



y


{\displaystyle y}

为



B


{\displaystyle B}

的极小元。
4
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
在数学中，类 X 上的一个二元关系 R 被称为是良基的，当且仅当所有 X 的非空子集都有一个 R-极小元；就是说，对 X 的每一个非空子集 S，存在一个 S 中的元素 m 使得对于所有 S 中的 s，二元组 都不在 R 中。
在数学中，类 X 上的一个二元关系 R 被称为是良基的，当且仅当所有 X 的非空子集都有一个 R-极小元；就是说，对 X 的每一个非空子集 S，存在一个 S 中的元素 m 使得对于所有 S 中的 s，二元组 都不在 R 中。
在数学中，类 X 上的一个二元关系 R 被称为是良基的，当且仅当所有 X 的非空子集都有一个 R-极小元；就是说，对 X 的每一个非空子集 S，存在一个 S 中的元素 m 使得对于所有 S 中的 s，二元组 都不在 R 中。