Closure of a binary operations