Many behavioural equivalences or preorders for probabilistic processes involve a lifting operation that turns a relation on states into a relation on distributions of states. We show that several existing proposals for lifting relations can be reconciled to be different presentations of essentially the same lifting operation. More interestingly, this lifting operation nicely corresponds to the ...

We show that there are a cardinal μ, a σ-ideal I ⊆ P(μ) and a σ-subalgebra B of subsets of μ extending I such that B/I satisfies the c.c.c. but the quotient algebra B/I has no lifting. 0. Introduction. In the present paper we prove the following theorem. Theorem 0.1. For some μ (in fact, μ = (2א0)++ suffices) there is a σ-ideal I on P(μ) and a σ-subalgebra B of P(μ) extending I such that B/I sa...

Background: Manual handling, lifting, or carrying of material is responsible for non-fatal injuries among employees in industries. It is the second most prevalent reported risk factor in workplaces that can lead to potential manual handling accidents and longer-term musculoskeletal disorders (MSDs). The aim of this study was the evaluation of manual material handling using the American National...