Example image of eyePlorer eyePlorer map for 'Well-defined': Axiom Binary relation Definition Function (mathematics) Mathematics Property (philosophy) Equivalence class Birational invariant Dangling else Dimension theorem for vector spaces List of mathematical shapes Differentiation rules Field theory (mathematics) Gromov's theorem on groups of polynomial growth Division by zero Lindenbaum–Tarski algebra Defined and undefined Measure-preserving dynamical system Probability 1 − 2 + 3 − 4 + · · · Chern–Simons theory Gossen's second law Holomorph (mathematics) Radix Arg (mathematics) Maximal torus Quotient category Quotient space (linear algebra) Random dynamical system Parity of a permutation Quotient ring Gaeltacht Hasse–Weil zeta function Borel–Kolmogorov paradox Ontological commitment Coordinate system Commensurability (mathematics) Congruence relation Fibration Tensegrity Imaginary unit Goursat's lemma Adelic algebraic group Hilbert's arithmetic of ends System of imprimitivity Quotient group Regulated function Frame bundle Harmonic function Definable