https://9lib.org/document/qvl9m4k1-define-notion-locally-admissible-mappings.html