text: Иными словами, он обладает (среди прочих) свойствами: R ⊆ {\displaystyle R\subseteq } (экстенсивность) R 1 ⊆ R 2 ⇒ ⊆ {\displaystyle R_{1}\subseteq R_{2}\Rightarrow \subseteq } (монотонность) ] = {\displaystyle ]=} (идемпотентность) Говорят, что множество функций Q {\displaystyle Q} порождает замкнутый класс R {\displaystyle R} (или класс R {\displaystyle R} порождается множеством функций Q {\displaystyle Q} ), если = R {\displaystyle =R} .