Definition of "infimum" [infimum]

• (of a subset) the greatest element of the containing set that is smaller than or equal to all elements of the subset. The infimum may or may not be a member of the subset. (noun)

Wiktionary.org : Text is available under the Creative Commons Attribution-ShareAlike License

• "(The degree of an universally quantified formula ˆ xφ is defined as the infimum of truth degrees of instances of φ; similarly"
• "The greatest lower bound is also sometimes called the "infimum", abbreviated "inf"."
• "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."