infimum

when it exists, the greatest element of a partially ordered set which is lower than or equal to all elements of a given subset

카테고리: