| definition, by structural recursion | 7WX4VSJEJF | concept | open | hott_book index/4.1/definition-by-structural-recursion |
| definition, inductive | 96PEKBZAGH | concept | open | hott_book index/8/definition-inductive |
| definition, of adverbs | Q81VW9DM6G | concept | open | hott_book index/9.10/definition-of-adverbs |
| Definition. | PGGVNDBXT7 | definition | open | Wikipedia Topological rigidity#5DA6 |
| Definition. | S7C3KTYQS3 | definition | open | Wikipedia Topological rigidity#4EN1 |
| Definition: Dirac sequence | 7YGHB92A2H | definition | open | Wikipedia Landau kernel#5CTE |
| Definitions | 11FYBF70TS | definition | open | Wikipedia Graph (discrete mathematics)#XKW1 |
| Definitions | 16QE0P1MEK | definition | open | Wikipedia Translation surface#L830 |
| Definitions | 1824YF1TWD | definition | open | Wikipedia Knee of a curve#KJDR |
| Definitions | 18QDDMK3G1 | definition | open | Wikipedia Walras's law#4RYM |
| Definitions | 18XZZ9VYAB | definition | open | Wikipedia Henselian ring#VMJM |
| Definitions | 194KABKCYB | definition | open | Wikipedia ACC0#0ULV |
| Definitions | 19DZMA4C69 | definition | open | Wikipedia Pell number#U5SR |
| Definitions | 19RNENN9CJ | definition | open | Wikipedia Moduli space#VBRO |
| Definitions | 1AF1CQ1SGA | definition | open | Wikipedia Lie bracket of vector fields#S15O |
| Definitions | 1DQQQVDGNC | definition | open | Wikipedia Gorenstein ring#Q6CR |
| Definitions | 1DX158SNNG | definition | open | Wikipedia Path (graph theory)#V0NE |
| Definitions | 1ED65Y4R9P | definition | open | Wikipedia Thermodynamic equilibrium#HA4N |
| Definitions | 1EWWKYQ74R | definition | open | Wikipedia Basic feasible solution#V7CM |
| Definitions | 1JE53E3164 | definition | open | Wikipedia Complement graph#QB2H |
| Definitions | 1KAF7SVB7H | definition | open | Wikipedia Multivariate normal distribution#5F4S |
| Definitions | 1MJP0NG3P9 | definition | open | Wikipedia Sparsity matroid#KYFB |
| Definitions | 1PZD1ARVVD | definition | open | Wikipedia Furuta pendulum#FNS8 |
| Definitions | 1Q2RGHCHVS | definition | open | Wikipedia Induction, bounding and least number principles#ZDYC |
| Definitions | 1R7PNCWGCA | definition | open | Wikipedia Characteristic 2 type#D0NC |
| Definitions | 1SS8SSG20V | definition | open | Wikipedia Lie algebra#ZLHH |
| Definitions | 1WCTB15EE5 | definition | open | Wikipedia Comonotonicity#1F3B |
| Definitions | 1XHR40A513 | definition | open | Wikipedia Data quality#YDDJ |
| Definitions | 1YCTXZ89YY | definition | open | Wikipedia Vapnik–Chervonenkis dimension#B2PF |
| Definitions | 210W3A2EA9 | definition | open | Wikipedia Bernoulli number#KNZ6 |
| Definitions | 21ER9529PP | definition | open | Wikipedia Sprague–Grundy theorem#OJHM |
| Definitions | 22Y8YF4DGK | definition | open | Wikipedia Boolean satisfiability problem#MN8E |
| Definitions | 236NTAC09F | definition | open | Wikipedia Toda's theorem#JWO0 |
| Definitions | 23E1D4YCKE | definition | open | Wikipedia Average#LGLU |
| Definitions | 254FGBPF5E | definition | open | Wikipedia Type theory#LJFA |
| Definitions | 2ADFDPWSZ8 | definition | open | Wikipedia Bruhat decomposition#C3SV |
| Definitions | 2BAMVM4TYZ | definition | open | Wikipedia Semidefinite programming#JI28 |
| Definitions | 2CXRY5MQ0V | definition | open | Wikipedia Many-one reduction#SYR9 |
| Definitions | 2DCR56Q5X0 | definition | open | Wikipedia Gaussian measure#556K |
| Definitions | 2DF0XZYA64 | definition | open | Wikipedia Lyapunov dimension#UE86 |
| Definitions | 2EQPBK3SQJ | definition | open | Wikipedia Near and far field#5QSZ |
| Definitions | 2FJ4MX6YTZ | definition | open | Wikipedia Minimal surface#OIDT |
| Definitions | 2GHNVDQ24Q | definition | open | Wikipedia Asymptotic curve#QXPL |
| Definitions | 2HCFRKB8KV | definition | open | Wikipedia Chessboard complex#26YI |
| Definitions | 2KFGTDP911 | definition | open | Wikipedia Multivariate random variable#4B7G |
| Definitions | 2MSANZADV9 | definition | open | Wikipedia Algebraic signal processing#TG04 |
| Definitions | 2N2TG9P0WS | definition | open | Wikipedia Tropical geometry#W4Z0 |
| Definitions | 2S376M8K3D | definition | open | Wikipedia Analytic function#YNFD |
| Definitions | 2S6JSDH5V6 | definition | open | Wikipedia Moufang polygon#CO5C |
| Definitions | 2VTA9QPPQ7 | definition | open | Wikipedia Necessity and sufficiency#YU31 |
| Definitions | 2XENPSSHJZ | definition | open | Wikipedia Bell polynomials#YCR7 |
| Definitions | 2Z3R14PJC2 | definition | open | Wikipedia Method of analytic tableaux#0Z0S |
| Definitions | 30A8JHG76M | definition | open | Wikipedia Triangle wave#S78F |
| Definitions | 34YD8382SM | definition | open | Wikipedia Coherent algebra#MUBA |
| Definitions | 3530E9W86X | definition | open | Wikipedia Cubical complex#QZU7 |
| Definitions | 35KW89D6R8 | definition | open | Wikipedia Garden of Eden (cellular automaton)#RU64 |
| Definitions | 3A2C6MF4T9 | definition | open | Wikipedia Singly and doubly even#TPYD |
| Definitions | 3BARP9JENF | definition | open | Wikipedia Tychonoff space#EDV3 |
| Definitions | 3BN78QG176 | definition | open | Wikipedia Resolvent set#O9UV |
| Definitions | 3CZGK2RVM1 | definition | open | Wikipedia Growth function#FSMM |
| Definitions | 3EDTMZG11C | definition | open | Wikipedia Abelian category#2XLU |
| Definitions | 3ENZ7TM453 | definition | open | Wikipedia Semiregular polyhedron#VSKU |
| Definitions | 3JFDN3GNNE | definition | open | Wikipedia Linear recurrence with constant coefficients#AL4Y |
| Definitions | 3JGPQNS2R7 | definition | open | Wikipedia Relativistic angular momentum#JRMZ |
| Definitions | 3KMPH43MMY | definition | open | Wikipedia Eilenberg–Ganea theorem#R6WI |
| Definitions | 3MWWVQKT6P | definition | open | Wikipedia Multivariate random variable#KOC7 |
| Definitions | 3N5FYWDD1A | definition | open | Wikipedia Division algebra#UR5R |
| Definitions | 3PG95WCYX3 | definition | open | Wikipedia Rational function#ZDGN |
| Definitions | 3TD3EY8G17 | definition | open | Wikipedia Coherent space#T1CS |
| Definitions | 3V4ET54JFQ | definition | open | Wikipedia Coefficient of determination#K6BO |
| Definitions | 3X0T3EM2QN | definition | open | Wikipedia Bayesian inference#5NQ4 |
| Definitions | 3Y9R6S3CB5 | definition | open | Wikipedia Recursively enumerable language#67JQ |
| Definitions | 3YN0R7854W | definition | open | Wikipedia Graph flattenability#9UPV |
| Definitions | 41A7Y4D0NP | definition | open | Wikipedia Line field#TUKQ |
| Definitions | 41FAFTC24N | definition | open | Wikipedia Zhu algebra#XCFC |
| Definitions | 41WMPDVZNF | definition | open | Wikipedia Action (physics)#2OFL |
| Definitions | 431RJHF0EB | definition | open | Wikipedia Appell series#T6K3 |
| Definitions | 45100E93J9 | definition | open | Wikipedia Riemannian manifold#RCFC |
| Definitions | 483QAZYF3E | definition | open | Wikipedia Kakutani fixed-point theorem#W7D4 |
| Definitions | 48KTCF85ZM | definition | open | Wikipedia Intersection number (graph theory)#X8LP |
| Definitions | 49RD3ZE4RV | definition | open | Wikipedia Burr distribution#DQ86 |
| Definitions | 4AN7RJKWJH | definition | open | Wikipedia Struve function#HDHG |
| Definitions | 4B754WKXGH | definition | open | Wikipedia Lagrangian (field theory)#JWM6 |
| Definitions | 4C1Z4N17H2 | definition | open | Wikipedia Love number#BPXC |
| Definitions | 4CWVSCCZF4 | definition | open | Wikipedia Strong subadditivity of quantum entropy#K3IN |
| Definitions | 4DQDXAPZ1W | definition | open | Wikipedia Kepler triangle#3OY2 |
| Definitions | 4F4YWQ31PZ | definition | open | Wikipedia Kaniadakis Weibull distribution#0C3R |
| Definitions | 4J0AQHYREB | definition | open | Wikipedia Gamma distribution#GGRF |
| Definitions | 4JREZT1MEW | definition | open | Wikipedia Binary tree#5QOT |
| Definitions | 4KG5JRNT2S | definition | open | Wikipedia Topological space#5AF0 |
| Definitions | 4KRK2XFYPQ | definition | open | Wikipedia One-shot deviation principle#9VH3 |
| Definitions | 4MZJ66XPYK | definition | open | Wikipedia Quasisymmetric function#5VQS |
| Definitions | 4N1N10TJ9H | definition | open | Wikipedia Teichmüller–Tukey lemma#N83J |
| Definitions | 4N9WK9X7JY | definition | open | Wikipedia Greatest element and least element#ORLR |
| Definitions | 4NGM07XMB2 | definition | open | Wikipedia Equivalence principle#VGO7 |
| Definitions | 4P2F998BXY | definition | open | Wikipedia Hopf decomposition#XNGJ |
| Definitions | 4PAE183CMV | definition | open | Wikipedia Tree automaton#3KK5 |
| Definitions | 4PQCRHJMDJ | definition | open | Wikipedia Arf invariant#MMVU |
| Definitions | 4Q5JCE3J5X | definition | open | Wikipedia Lefschetz manifold#LYVP |
| Definitions | 4QP1DZGAGE | definition | open | Wikipedia Capacity of a set#EUP5 |