Etant donnés et , on définit l'application composée de et , notée , dite '' rond '', et définie par . Autrement dit, est une application de dans , qui à tout élément de , associe l'élément de .