Rename the file to Isomorphic
Add definitions of a finite and a countable set