 4.4 Definition:  The property lattice of the model \((\mathcal{A},\Delta)\) is the complete lattice \(\mathbf{L} = \mathbf{L}(\mathcal{A},\Delta)\) of all subsets of \(\Delta\) of the form \(F(J), J\) any set of  outcomes.[15] 