Can a group be non-empty by definition of 'group'?
By the definition of a group, "A group is a set combined with a binary operation".
By this definition, would a non-empty set constitute as being a group? By virtue of the definition of what a group is, a non-empty should constitute as being a group.
Can someone confirm?
No, because a requirement of a group is that there exists an identity element.