What does it mean that to check if S( sub script A) is a group, we need to check that * is a binary operation?

i thought we only need to check that S( sub script A) satisfy the group axioms of associativity, inverse and identity?

how do i check that * is a binary operation then?

thanks!