The representable $\text{𝗒}𝑥$ is itself a sieve on $𝑥$. A sieve on $𝑥$ is proper when it is not equal to the representable.

Say that a proper sieve is maximal when it contains all other proper sieves as a sub-sieve.