Added a silly proof on subset relation being a partial order