1. Didefinisikan implementasi hubungan antara nilai-nilai MAC label atau label informasi yang memenuhi pesanan parsial aljabar properti. 2. Keamanan tingkat S1 dikatakan mendominasi tingkat keamanan S2 jika klasifikasi hierarki S1 lebih besar dari atau sama dengan S2 dan termasuk kategori non-hirarkis S1 semua orang S2 sebagai subset.