Axiomatic foundations of topological spaces
In the mathematical field of topology, a topological space is usually defined by declaring its open sets. However, this is not necessary, as there are many equivalent axiomatic foundations, each leading to exactly the same concept.
Source: Wikipedia — Axiomatic foundations of topological spaces (CC BY-SA 4.0)