for T being complete Lawson TopLattice
for F being non empty filtered Subset of T holds Lim (F opp+id) = {(inf F)}