INFIMUM

Definition of INFIMUM