group- closure property or algebraic structure