It's the idea that most structures in math can be put upon a foundation of a structure consisting of objects and the relationships between those objects.