public interface LabelFactory
extends Factory<Label>
A factory for producing labels, which are used as the points or elements
on which our oriented matroids and matroids are defined.
Internally labels are ordered and this is implicit in some places in the interface,
of exmaple getUniverse().iterator() will return the labels in order.