بین دو مجموعه و یک تناظر یک به یک وجود دارد، اگر و تنها اگر بهازای هر عضو از مجموعه یک و تنها یک عضو در مجموعه وجود داشته باشد.
بهعنوان نمونه، بین مجموعه اعداد طبیعی و مجموعه اعداد زوج طبیعی یک تناظر یک به یک بهصورت زیر برقرار است.
با کمی دقت در مییابیم که بین اعضای متناظر و میتوان رابطهای پیدا کرد.
اگر هر عضو از را بگیریم، میتوان عضو نظیرش در یعنی را از رابطه بهدست آورد.
نکته
در دو مجموعه و یک تناظر یک به یک وجود دارد:
1- هر مجموعه با متناظر باشد، مجموعه با متناظر است.
2- هر مجموعه با خودش متناظر است.
3- اگر مجموعه با متناظر باشد و مجموعه با متناظر باشد، آنگاه مجموعه با متناظر است.
تمرین
مجموعه اعداد طبیعی و مجموعه اعداد فرد را در نظر بگیرید:
آیا بین مجموعه اعداد طبیعی و مجموعه اعداد فرد، یک تناظر یک به یک برقرار است؟
رابطهای بین دو مجموعه فوق، بنویسید.
با کمی دقت در مییابیم که بین اعضای متناظر و میتوان رابطهای پیدا کرد.
اگر هر عضو از را بگیریم، میتوان عضو نظیرش در یعنی را از رابطه بهدست آورد.
نکته
برای مشاهد اطلاعات بیشتر در مورد تناظر یک به یک به این لینک مراجعه کنید.