A power dagger 2-poset is a dagger 2-poset such that for every object there exists an object called the power object of , a morphism called subobject membership in , such that for each morphism , there exists a morphism called the characteristic morphism such that .