Closure Property Definition Algebra