De manera formal, la división es una operación binaria que a dos números asocia el producto del primero por el inverso del segundo.