For each P, the set L is open and the map K is of class J there.
If H is a system with output, it is required in addition that G be an open subset of some Euclidean space F, and that D be of class S.
When S or D, one also says that F is differentiable or smooth, respectively.
We define linear linearization only for real systems.