Verilen bir küme teriminden, bu terimin gösterdiği kümenin tümleyenini gösteren küme terimini oluşturan birli işlev imi: (').