DocSlides is a free service to upload presentations and documents.
xisalogicalrstorderpredicateoverthesetxorprogramvariablesatlineiandtheset xofinitialvaluesoftheseprogramvariablesLetLbethesetofallsuchpredicatesPx xThenthissetformsacompletelatticeL