(\forall \mathcal{R} \supseteq \mathcal{C}, \sigma\text{-prsten}) \emptyset \in \mathcal{R}