(The degree of an universally quantified formula xÏ is defined as the infimum of truth degrees of instances of Ï; similarly ❋ Hajek, Petr (2006)
The greatest lower bound is also sometimes called the "infimum", abbreviated "inf". ❋ Unknown (2009)
If either one of these functions, say θF / a, is influenced by some information that is free in the above sense (i.e., not a function of A's choice of directions and events F-earlier than that choice), then there must be an an earliest ( "infimum") F-time t0 after which all such information is available to a. Since the non-free information is also available at t0, all these information bits, free and non-free, must have a value 0 or 1 to enter as arguments in the function θF / a. ❋ Unknown (2009)
Now, IIRC it is Linde himself who has pointed out that one can push infimum of worldlines unboundedly back, making the process physically "eternal" in both directions. ❋ Unknown (2009)
It is the difference between choosing the minimum of the set of found fossils and searching the infimum of the set of possible fossils. ❋ Unknown (2007)
That is we consider a confidence region of fits based on the statistics and we plot the supremum (least upper bound) and infimum (greatest lower bound) of all these fits. ❋ Unknown (2006)
I remember the time when he did not venture to offend me by a word: now he is at liberty to do me an actual injury. sed viden? fortuna humana fingit artatque ut lubet: me, qui liber fueram servom fecit, e summo infimum; qui imperare insueram, nunc alterius imperio obsequor. et quidem si, proinde ut ipse fui imperator familiae, habeam dominum, non verear ne iniuste aut graviter mi imperet. ❋ Titus Maccius Plautus (1919)
Again, the railroad might be absolved from the charge of violating natural justice if the lower rates which it extended to the monopoly did not fall below the lowest level (pretium infimum) of justice, while the charges exacted from the independent shippers did not exceed the highest level (pretium summum) sanctioned by justice. ❋ 1840-1916 (1913)
CASSIA (Sturtii), tomentoso-incana, foliis 4-jugis foliolis lanceolato-linearibus planis: glandula depressa inter par infimum, racemo corymboso paucifloro cum pedunculo suo folium paulo superante v. aequante, calyce tomentoso. ❋ Charles Sturt (1832)
A complete lattice is one in which every set has a supremum and an infimum. ❋ Unknown (2009)
In general a set with upper bounds need not have a supremum; a set with lower bounds need not have an infimum. ❋ Unknown (2009)
S; an infimum is a lower bound for S which is greater than or equal to any other lower bound for ❋ Unknown (2009)
A maximum is necessarily a supremum, but a supremum for a set need not be a maximum (that is, need not be an element of the set); similarly an infimum need not be a minimum. ❋ Unknown (2009)
We call the supremum the join and the infimum the meet of the elements a ❋ Unknown (2009)
The supremum or infimum of '' S '', if one exists, is unique algebraic structures. ❋ Unknown (2009)
A '' supremum '' for '' S '' is an upper bound which is less than or equal to any other upper bound for '' S ''; an '' infimum '' is a lower bound for '' S '' which is greater than or equal to any other lower bound for '' S ''. ❋ Unknown (2009)
A maximum is necessarily a supremum, but a supremum for a set need not be a maximum (that is, need not be an element of the set); similarly an infimum need not a minimum. ❋ Unknown (2008)
