به رابطه ای که از جا به جایی دو مولفه هر زوج مرتب به دست می آید، وارون تابع گفته خواهد شد.