binary operation and closure property Many authors define group as a non empty set with the binary operation $*$ with the following 4 properties:


*

*closure,

*associative,

*identity,

*inverse.


My question is that it is obvious that a set with a binary operation is always closed, then why they mention closure property?
 A: Although it is redundant in the case you are mentioning, in practice people talk about binary operations without mentioning exactly what set they are on. For example it makes sense to add irrational numbers, although technically addition doesn't form a binary operation on the irrational numbers because the sum of two irrational numbers may be rational.  So here is where the concept of closure becomes important.  People don't actually say "addition does not give a binary operation on the irrational numbers", they say "the irrational numbers are not closed under addition".  So it is worth emphasizing the concept of closure and that it is part of the definition of group so that it is not "lost" in the technical definition of binary operation, which does not completely coincide with the way people actually speak.  
See edits more details if you'd like.  
A: Yes binary operation is always closed by its definition.
Suppose $*$ is binary operation on $\Bbb N$ such that $a*b=a+b$ with $b\in \Bbb N$ for all $a,b$ belongs to $\Bbb N$ (here for all is used so it is quantifier it means result  must be in $\Bbb N$).
If there is atleast a single pair $(f,g)$ such that $p+q$ doesn't belong to $\Bbb N$ than we can say it is not closed.
