They were found by Saunders Mac Lane, who was looking for a condition that is equivalent to semimodularity for finite lattices, but does not involve the covering relation.
Sie wurden von Saunders Mac Lane gefunden, als er eine Bedingung suchte, die für endliche Verbände zu Semimodularität äquivalent ist aber nicht die Bedeckungsrelation benutzt.