Merge git@github.com:Loofmodnar1/lattices.git master

Closed balls are kept as B, which is the more common notation in this context.

Signed-off-by: Nicolai Hähnle <haehnle@or.uni-bonn.de>