(2,3)-Baum:
und haben keine Schlüssel
jeder Schlüssel in l < x < jeder Schlüssel in r
jeder Schlüssel in l < x < jeder Schlüssel in m < y < jeder Schlüssel in r
Diese Eigeschaften (Invarianten) müssen bei allen Operationen erhalten bleiben.