Some exercises from 'Software Fundamentals'
First definition of Matroid