چه توابعی وارون پذیرند؟ در فعالیت قبل تابع f وارون پذیر بود ولی تابع g وارون پذیر نبود. بنابراین سؤال اساسی این است که یک تابع باید چه شرطی داشته باشد تا وارون پذیر باشد؟
به طور کلی توابعی وارون پذیر هستند که به ازای هر مؤلفه اول، تنها یک مؤلفه دوم وجود داشته باشد و برعکس به ازای هر مؤلفه دوم، تنا یک مؤلفه اول وجود داشته باشد.