Ein atomarer (und daher algebraischer) semimodularer beschränkter Verband heißt Matroidverband, weil solche Verbände zu (einfachen) Matroiden äquivalent sind. Ein atomistischer semimodularer beschränkter Verband von endlicher Länge heißt geometrischer Verband und entspricht einem Matroid von endlichem Rang. (Diese Definitionen folgen Stern ...