storeHasseGraph -- store a Hasse graph in a file

Ways to use storeHasseGraph :

• storeHasseGraph(HasseGraph,String) -- store a Hasse graph in a file

For the programmer

The object storeHasseGraph is a method function.