的周围。设Top是带有连续映射的拓扑空间范畴，和Set是带有函数的集合范畴。如果"F" : Top → Set是指派每个拓扑空间到它的底层集合的函子（所谓的遗忘函子），并且"G" : Set → Top是把密着拓扑放置到给定集合上的函子，则"G"右伴随于"F"。（把离散拓扑放置到给定集合上的函子"H"：Set → Top左伴随于"F"。）