Wikipedia is a bit rubbish on #math.. but this is funny..
I was reading the page on non commutative geometry and spotted this

"A smooth Riemannian manifold M is a topological space with a lot of extra structure"

No shit!


I wondering if I could extend this definition to

<Mathematical object> is a set with a lot of extra structure on it. ?

https://en.m.wikipedia.org/wiki/Noncommutative_geometry