theorem Th28: :: WAYBEL21:28

for R being non empty /\-complete Poset
for F being non empty filtered Subset of R holds lim_inf (F opp+id) = inf F