Posets and finite spaces
Start GAP and type
LoadPackage("posets");
to load the package.
For details on how to use the Posets package see the package
documentation in the doc
subdirectory (view its HTML version or
manual.pdf
via a PDF viewer).