Closure and Identity Properties of an Operation