Proper noun
Engelking (plural Engelkings) A surname.
Some authors (e.g. Engelking) add this last condition directly in the definition of a uniformizable space. Source: Internet