Then we can define the objectification of a credence function, with respect to this partition, at a certain world, as the probability distribution that comes from the given credence function by conditionalizing on the member of the given partition that holds at the given world.