Informasi yang berkaitan dengan es/Teorema del funtor adjunto (teoría de orden)