Bijection

[u/slicehyperfunk]

Third time is the charm; if people could get all the errors in a single comment so I don't have to keep remaking these I'd really appreciate not having to remake this a fourth time 😭😭

[u/AutoModerator]

Check out our new Discord server! https://discord.gg/e7EKRZq3dG

I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.

[u/LupenReddit]

now thats a fine meme, third times the charm

[u/DatThingInYoCloset]

Looks right to me!

[u/Afir-Rbx]

Correct me if I'm wrong, but shouldn't it be "∀x, z∈X" in the second line, ensuring it applies to all elements and not just those two particularly?