Considere-se os conjuntos X, Y e Z e a representação gráfica a seguir:

Se João é um elemento que pertence à região sombreada, então necessariamente, João: