complete_lattice_of_Inf source