  We analyse various structural and order-theoretical aspects of abstract
separation systems and partial lattices, as well as the relationship between
the different submodularity conditions one can impose on them.
