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.

Q18.png (252×138)

Qual das alternativas abaixo cita esta proposição?