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