Closure Property Algebra