Según el historiador Isidro García Cigüenza, el origen del apellido de Omar era Hafs y a éste se le añadió el término de "un" que entre los árabes era distintivo de nobleza, quedando el apellido configurado en Hafsún.