 A Riesz space is said to have the (principal) projection property if every (principal) band is a projection band.The so-called main inclusion theorem relates the following additional properties to the (principal) projection property