Description: The infimum regarding an empty base set is always the empty set. (Contributed by AV, 4-Sep-2020)