 Generator domain

The generator domain consists of the vectors whose semigroup orbit is right-differentiable at zero. It is a dense linear subspace, and the generator is closed.