"The necessary and sufficient condition for a subset of a group to be called as sub-group is it should satisfy the algebraic structure property".
can somebody tell why this should be TRUE. We are concluding it as sub-group just by seeing only algebraic structure property satisfying and not checking for identity element,inverse ....why ?