Containment-Logik: algebraische Vollständigkeit und Axiomatisierung