Home Tutorial Examples Source

Below you find some working examples. Simply click on the link and you will find the proof inserted in the editor.

You have developed new proofs with Elfe? Share them by creating a pull request on GitHub!

Injectivity of a function composition

gupta

Surjectivity of function composition

geo1

Complement of complement of a set

geo1_direct

Knaster-Tarski theorem

Distribution of set intersection

Simple proof

Inverse and function itself is identity

Cantors Theorem

Union of relation and inverse is symmetric

Symmetric and transitive relations are reflexive

Complement of an inverse relation

Incorrect proof for relations

Complement of a union