matematikte bir kümenin inf'i o kümenin elemanlarını alttan sınırlayan sınırların en büyüğüdür.
örneğin: A={x:0<x<1} ise infA=0 olarak tanımlanır. Bir kümenin inf'i o kümeye ait olmayabilir. Diğer bir ismi ise infimum'dur.
konuyla ilgili olarak
(bkz: sup)
