HRU

1. Примитивные операторы

1.1. Внести право

1.1.1. s ∈ S, o ∈ O

1.2. Удалить право

1.2.1. s ∈ S, o ∈ O

1.3. Создать субъект

1.3.1. s' ∉ S

1.4. Создать объект

1.4.1. o' ∉ S

1.5. Уничтожить субъект

1.5.1. s' ∈ S

1.6. Уничтожить объект

1.6.1. o' ∈ S, o' ∉ S