Binary reduce of an N-semigroup