[A kernel of a set of alternative actions over which there is a partial order is defined in terms of optimality properties. It is shown to be the same as the generalized efficient set. A variety of theorems such as uniqueness, existence, and composition in terms of other sets are established. Related sets, such as quasi kernels and weak kernels, are also considered.]