Nos diagramas acima, estão representados dois conjuntos: o conjunto dos juízes e dois elementos desses conjuntos: Mara e Jonas. A proposição "Mara é formada em direito e é juiz" é uma conclusão verdadeira.