Algebraic Modeling - The Closure Property

In the algebraic, just to reiterate, you are modeling the composition of operation. The first one I want to talk about is the closure property. This is closure with an F, closure property. It's a property from algebra that says that the argument types are the same as the return type. And this is something that we see a lot in arithmetic and algebraic expressions. So for instance, floss over the integers has the closure property; it lets you nest expression. Another example of the closure property in software is string operations.