Entonces el adjunto superior "f" lo da la inclusión de "c"("A") en "A", que hace corresponder cada elemento cerrado sobre sí mismo, considerado como un elemento de "A".