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.

Qual das alternativas abaixo cita esta proposição?