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


Surjectivity of function composition


Complement of complement of a set


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