Description: Algebraic closure systems are closure systems. (Contributed by Stefan O'Rear, 2-Apr-2015)