1. egy megvalósítás által meghatározott viszonya a MAC-címkéket vagy a tájékoztató címkéket, amely megfelel a részleges rendelés algebrai tulajdonság értékét. 2. . biztonsági szint S1 azt mondta, hogy uralják a biztonsági szint S2 S1 hierarchikus osztályozásával nagyobb vagy egyenlő az S2 és S1 nem hierarchikus kategóriák közé tartozik, azok S2 olyan részhalmazának tekintendők, ha.