Some functions and mappings