A Henselian local ring is called strictly Henselian if its residue field is separably closed.
ヘンゼル局所環は剰余体が分離的閉であるときに strictly Henselian と呼ばれる。