"infimum" - key terms from Wikipedia