polymatroid pregeometry antimatroid groundset matroid majorization gammoid graphoid pseudomonoid rank