Add .gitignore
Add some properties of isomorphism, finite and countable sets