valahogy így nézett ki: LFS(h) és jelentése : leggyengébb előfeltétele annak, hogy S program h állapotban terminál