Least fixed point
In order theory, a branch of mathematics, the least fixed point (lfp or LFP, sometimes also smallest fixed point) of a function from a partially ordered set to itself is the fixed point which is less than each other fixed point, according to the order of the poset. A function need not have a least fixed point, but if it does then the least fixed point is unique.
Wikipage redirect
BisimulationCorecursionDescriptive ComplexityDescriptive complexity theoryDomain theoryF-algebraFixed point (mathematics)GFPGreatest fixed pointGreatest fixpointGrigore RosuInitial algebraKleene fixed-point theoremKnaster–Tarski theoremLFPLeast fixpointLogic of graphsModal μ-calculusNu (letter)P (complexity)Predicative programmingProgramming Computable FunctionsSecond-order logicSerge AbiteboulUnifying Theories of ProgrammingVictor VianuWidening (computer science)Zipper (data structure)
Link from a Wikipage to another Wikipage
primaryTopic
Least fixed point
In order theory, a branch of mathematics, the least fixed point (lfp or LFP, sometimes also smallest fixed point) of a function from a partially ordered set to itself is the fixed point which is less than each other fixed point, according to the order of the poset. A function need not have a least fixed point, but if it does then the least fixed point is unique.
has abstract
In order theory, a branch of m ...... points, but has no least one.
@en
在数学分支序理论中,函数的最小不动点是按照某种偏序小于等于其 ...... 确的等价于可以用带有最小不动点的一阶逻辑所表达的语言的集合。
@zh
最小不動点(さいしょうふどうてん、英: Least fixe ...... 小不動点を追加したもので表される言語の集合と正確に一致する。
@ja
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,000,138,261
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
hypernym
type
comment
In order theory, a branch of m ...... e least fixed point is unique.
@en
在数学分支序理论中,函数的最小不动点是按照某种偏序小于等于其 ...... 确的等价于可以用带有最小不动点的一阶逻辑所表达的语言的集合。
@zh
最小不動点(さいしょうふどうてん、英: Least fixe ...... 小不動点を追加したもので表される言語の集合と正確に一致する。
@ja
label
Least fixed point
@en
最小不动点
@zh
最小不動点
@ja