infimum (lat.) mat Oznaka inf X (i. skupa X, ako je X skup realnih brojeva), pojam iz teorije skupova, tj. najveći realni broj a sa svojstvom a < b koje vrijedi za svaki b iz X. Ako inf X pripada skupu X, onda je to njegov najmanji element, a ako mu ne pripada, onda X nema najmanjeg elementa.