We say that an ideal
- The deformation over A/ES(F) induced by
is (strongly) equisingular, with trivial section.
- If
is an ideal such that
defines a (strongly) equisingular deformation with trivial section of A/J then ES(F) is contained in J.
- If
| Note: | If char(K) divides the order of some branch of f, then in general there is no such (strong) equisingular stratum. |