|
In the theory of partially ordered sets, a pseudoideal is a subset characterized by a bounding operator LU. == Basic definitions == LU(''A'') is the set of all lower bounds of the set of all upper bounds of the subset ''A'' of a partially ordered set. A subset ''I'' of a partially ordered set (''P'',≤) is a Doyle pseudoideal, if the following condition holds: For every finite subset ''S'' of ''P'' that has a supremum in ''P'', ''S'' ''I'' implies that LU(''S'') ''I''. A subset ''I'' of a partially ordered set (''P'',≤) is a pseudoideal, if the following condition holds: For every subset ''S'' of ''P'' having at most two elements that has a supremum in ''P'', ''S'' ''I'' implies that LU(''S'') ''I''. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Pseudoideal」の詳細全文を読む スポンサード リンク
|