No diagrama a seguir, considere que há elementos em todas as seções e interseções. Nessa situação, é verdade afirmar que

todo elemento de P, que não é elemento de R, é elemento de Q.

todo elemento de Q, que não é elemento de R, não é elemento de P.

todo elemento de R, que é elemento de Q, não é elemento de P.

qualquer elemento de P, que não é elemento de Q, é elemento de R.

todo elemento de R, que não é elemento de Q, é elemento de P.