@murad.ozkoc Doğruya doğru, matematiği formel yazma tarzından hiç hazzetmiyorum :) Ama çok büyük bir arşiv oluşturuyorsun burada, çok saygı duyuyorum.
Şimdi bu dönüşüm bir kümeyi alıyor, sonluysa kendine götürüyor, sonsuzsa $X$'e götürüyor. Belli olmayan benim göremediğim bir şey mi var?
O zaman @damlagulk aksiyomları Türkçe de bulabilirsin! Dört aksiyomu buraya yorum olarak tekrar yazmakla başlayabilirsin! Ondan sonra teker teker aksiyomları birlikte kontrol edebiliriz?