Инвариант для RBSet