The University of SydneyPage 26Determining Actions–Given a set of security labels (L, C), where L is a set of security classification levels and C is a set of categories.–Definition: (L1, C1) dominates(L2, C2) if and only if;1.L1 greater than or equal to L22.C2 is a subset of C1–TransitiveIf a b and b cthen a c–AntisymmetricIf a b and b a then a=b(L1, C1) (L2, C2)