n. (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.
Word Usage
"(The degree of an universally quantified formula xÏ is defined as the infimum of truth degrees of instances of Ï; similarly"