el "G" tiene un adjunto izquierdo "F", creando el espacio discreto en un conjunto "Y", y un adjunto derecho "H" creando la topología trivial en "Y" (cf.