Closure Property Definition In Math