Observando o destaque em cinza no diagrama abaixo, é possível constatar a existência de uma operação entre os dois conjuntos que pode ser representada por meio de uma proposição categórica.

Q14.png (248×137)

Qual das alternativas abaixo cita esta proposição?