The statement "A group is a set with a composition operation" is true because true by definition, in the context of set theory [I assume]