I've been thinking about some common properties of mathematical objects and I've been wondering if they are redundant. Like: Aren't all associative operations also closed under a set? Doesn't the existence of inverses imply the existence of an identity element? So that stating associativity and the existence of inverses imply closure and the existence of an identity element, respectively? Are there any other redundant properties like that?