| Definition and notation | NMW3AR967K | definition | open | Wikipedia Grossone#8VY4 |
| Definition and properties | 2XK87CBEKB | definition | open | Wikipedia Lorentz force#SPL1 |
| Definition and properties | 3K3YRF008K | definition | open | Wikipedia Self number#NMFN |
| Definition and properties | 3NMVXPWCEF | definition | open | Wikipedia Zolotarev polynomials#FE57 |
| Definition and properties | 5964DH4MVZ | definition | open | Wikipedia Néron–Tate height#5YKU |
| Definition and properties | 5TDPNNFX81 | definition | open | Wikipedia Bipyramid#FH48 |
| Definition and properties | 6MHGA5GV5E | definition | open | Wikipedia Anti-de Sitter space#DA7U |
| Definition and properties | 6RJXTW8VGX | definition | open | Wikipedia Supersingular isogeny graph#CJ2L |
| Definition and properties | 6WE7R2FKQ2 | definition | open | Wikipedia Automorphic number#ZZ7E |
| Definition and properties | 8NBA33PJWT | definition | open | Wikipedia Generalized Clifford algebra#19UH |
| Definition and properties | 9AQEC9VREV | definition | open | Wikipedia Binary logarithm#3JAP |
| Definition and properties | 9ZTNNT2VSE | definition | open | Wikipedia Radical axis#5NO6 |
| Definition and properties | BEN00RB4QG | definition | open | Wikipedia Σ-algebra#NLMD |
| Definition and properties | C2Q9PP9KH3 | definition | open | Wikipedia P-adic valuation#V1LV |
| Definition and properties | C8Z3K6V8CT | definition | open | Wikipedia Signed-digit representation#MND2 |
| Definition and properties | CB7AAF6QAB | definition | open | Wikipedia Solid angle#HAV2 |
| Definition and properties | DB32RMAJ6W | definition | open | Wikipedia Thurston–Bennequin number#LYPQ |
| Definition and properties | DCGCFMGHWG | definition | open | Wikipedia Stanley–Reisner ring#Q4QH |
| Definition and properties | DD8XHVBCQX | definition | open | Wikipedia Kaprekar number#Y3WB |
| Definition and properties | EZNS9NJVEY | definition | open | Wikipedia Absolute value#P52M |
| Definition and properties | G3070Z8WTN | definition | open | Wikipedia Branching quantifier#V1S8 |
| Definition and properties | GDHMFQAR5G | definition | open | Wikipedia Quadrant count ratio#S2MW |
| Definition and properties | GM7SZH72WB | definition | open | Wikipedia Stochastic matrix#XBV0 |
| Definition and properties | K7X8FS8Z7V | definition | open | Wikipedia Osgood curve#E21Z |
| Definition and properties | K9SRKZG28C | definition | open | Wikipedia Permutation code#SLD5 |
| Definition and properties | KVN33GH5EP | definition | open | Wikipedia Natural logarithm#FMOA |
| Definition and properties | MA5PBMR8EE | definition | open | Wikipedia Steiner inellipse#YDG6 |
| Definition and properties | MJTB4347ZC | definition | open | Wikipedia Floor and ceiling functions#57EZ |
| Definition and properties | N0WPTCGS43 | definition | open | Wikipedia Linear complex structure#XBL7 |
| Definition and properties | N10HDQXZKH | definition | open | Wikipedia Kaprekar's routine#D0SM |
| Definition and properties | N3D6M7CF7D | definition | open | Wikipedia Quasiconvex function#7129 |
| Definition and properties | NVQ9JPRZWY | definition | open | Wikipedia Mallows's Cp#A9TO |
| Definition and properties | Q3KXXKV08N | definition | open | Wikipedia Basic subgroup#3U8W |
| Definition and properties | Q58R446VZJ | definition | open | Wikipedia Acceleration#OVS2 |
| Definition and properties | QVY162P30T | definition | open | Wikipedia Representation theory of finite groups#FGE1 |
| Definition and properties | QYQJTDJFPF | definition | open | Wikipedia Pisot–Vijayaraghavan number#FC6V |
| Definition and properties | R2C6WJY67K | definition | open | Wikipedia Schouten–Nijenhuis bracket#O4SO |
| Definition and properties | RKJDRF651Q | definition | open | Wikipedia Bent function#4N7R |
| Definition and properties | S160SG6RXY | definition | open | Wikipedia Killing tensor#QHJU |
| Definition and properties | SPCAG3ZXP8 | definition | open | Wikipedia Partition function (number theory)#EPOP |
| Definition and properties | SRW80HKFM4 | definition | open | Wikipedia Courant bracket#R5M7 |
| Definition and properties | VQ8B4N11EV | definition | open | Wikipedia Circulation (physics)#WZC1 |
| Definition and properties | WK8150RZNY | definition | open | Wikipedia Projected normal distribution#FPIR |
| Definition and properties | X7BJJ9YVK9 | definition | open | Wikipedia Herschel graph#JX0M |
| Definition and Properties | XRT0MNQCD5 | definition | open | Wikipedia Information dimension#NNN6 |
| Definition and properties | Y2FYFQSGRW | definition | open | Wikipedia Discrete measure#09HG |
| Definition and properties | YXKH97EABS | definition | open | Wikipedia Bilinski dodecahedron#MYQK |
| Definition and properties | ZYRV1ANXCB | definition | open | Wikipedia Bernstein–Sato polynomial#1E24 |
| Definition and Theorem | VTRYJXYJ63 | definition | open | Wikipedia Brownian tree#AI7W |
| Definition as a law of large numbers | C87RZFFDY4 | definition | open | Wikipedia Tracy–Widom distribution#1VR7 |
| Definition I: Combinatorical formula | ED3DTNQPHJ | definition | open | Wikipedia Nichols algebra#EK6K |
| Definition in terms of open sets | TJFSYG6D9A | definition | open | Wikipedia Initial topology#HF68 |
| Definition loop | W20BHZT2X6 | definition | open | Wikipedia Circular reasoning#FBFP |
| Definition of (n, m)-category | Z80JNKGCRB | definition | open | Wikipedia (n, m)-category#QHR5 |
| Definition of a Banach bundle | 320GEZA20Q | definition | open | Wikipedia Banach bundle#L2C4 |
| Definition of a congruence subgroup | SY84THNFX0 | definition | open | Wikipedia Congruence subgroup#K7ZP |
| Definition of a cylindric algebra | AHA6PZX71H | definition | open | Wikipedia Cylindric algebra#ZD2O |
| Definition of a diffiety | J7TG8ZW0NW | definition | open | Wikipedia Diffiety#D8UI |
| Definition of a divided power structure | 5JCMZMEXZD | definition | open | Wikipedia Divided power structure#49OC |
| Definition of a Kan fibration | K8K81KKRJ9 | definition | open | Wikipedia Kan fibration#EBR9 |
| Definition of a pseudo-Anosov map | VJ9WF73EZH | definition | open | Wikipedia Pseudo-Anosov map#RY57 |
| Definition of a quadratic set | KFDCCRBNED | definition | open | Wikipedia Quadratic set#2KL4 |
| Definition of a rough path | 5P41FQZ9C2 | definition | open | Wikipedia Rough path#QYLG |
| Definition of a rough set | Q8K249XZP8 | definition | open | Wikipedia Rough set#EW1U |
| Definition of a Steiner conic | HV10GZH9TZ | definition | open | Wikipedia Steiner conic#CJ5X |
| Definition of a wavelet | 23C4ZND7G7 | definition | open | Wikipedia Wavelet#8HTV |
| Definition of an interval | QJHBT4N18W | definition | open | Wikipedia Interval (mathematics)#3VGV |
| Definition of an oval | ERR0YRV253 | definition | open | Wikipedia Oval (projective plane)#I98S |
| Definition of an ovoid | G5KC9G2ZTD | definition | open | Wikipedia Ovoid (projective geometry)#AB6I |
| Definition of analytic torsion | Q614X57HWD | definition | open | Wikipedia Analytic torsion#X10T |
| Definition of category O | G990N2WD9Z | definition | open | Wikipedia Category O#UD2U |
| Definition of conditional disclosure of secrets | K8WZ0TT69J | definition | open | Wikipedia Conditional disclosure of secrets#JEEA |
| Definition of criterion | ZB275DXXE0 | definition | open | Wikipedia Criterion-referenced test#IRY0 |
| Definition of cue validity | YKJ89W9E4D | definition | open | Wikipedia Cue validity#YV7V |
| Definition of deficiency | G40VG9AMP1 | definition | open | Wikipedia Deficiency (graph theory)#YXN8 |
| Definition of extremal length | AR9M7Q25QH | definition | open | Wikipedia Extremal length#T97D |
| Definition of falsifiability | Y65N1KY6EA | definition | open | Wikipedia Falsifiability#EV5P |
| Definition of Friedrichs extension | FWWFRRBJ45 | definition | open | Wikipedia Friedrichs extension#LGL8 |
| Definition of heavy-tailed distribution | T55YCSRYSB | definition | open | Wikipedia Heavy-tailed distribution#JEIZ |
| Definition of height | 9VMVYFVYYH | definition | open | Wikipedia Height (abelian group)#N4HG |
| Definition of n-ary group | AMHPW15X5M | definition | open | Wikipedia N-ary group#LNMQ |
| Definition of Nemytskii operator | WQ9QV6KMQ0 | definition | open | Wikipedia Nemytskii operator#TN4P |
| Definition of Poly1305 | SQ8NCYCEYR | definition | open | Wikipedia Poly1305#2NSZ |
| Definition of scalar multiplication by an integer | N6KKHSPEY1 | definition | open | Wikipedia Additive map#EGYT |
| Definition of spherical measure | TMF83KS302 | definition | open | Wikipedia Spherical measure#TFO3 |
| Definition of the bidual | ZECAFR522B | definition | open | Wikipedia Reflexive space#KY5H |
| Definition of the four-velocity | R0CE40WMWV | definition | open | Wikipedia Four-velocity#ZXUA |
| Definition of the integer broom topology | KD2PJYTXGW | definition | open | Wikipedia Integer broom topology#DVI1 |
| Definition of the Meijer G-function | WZEFY6EBYP | definition | open | Wikipedia Meijer G-function#DWAT |
| Definition of the Mumford–Shah functional | EZD9HV1TAM | definition | open | Wikipedia Mumford–Shah functional#IOVT |
| Definition of the Tits metric | H9HKMH3B83 | definition | open | Wikipedia Tits metric#DE8J |
| Definition of the Wigner D-matrix | R0W0B1YHQ2 | definition | open | Wikipedia Wigner D-matrix#BTJ9 |
| Definition of uniform continuity | 4VMFGASA4N | definition | open | Wikipedia Uniform continuity#GDC1 |
| Definition of wedge product using the cross product | K8BTR58AJC | definition | open | napkin tex/homology/cup-product.tex#definition-5 |
| Definition via branching covers | FHGPCEM423 | definition | open | Wikipedia Cayley configuration space#T4GY |
| Definition via linkages | NPXSSAJR3B | definition | open | Wikipedia Cayley configuration space#MVRT |
| Definition via projections of the distance cone | C35S17T65M | definition | open | Wikipedia Cayley configuration space#0UDI |
| definition, by pattern matching | 4MDXNRCKGY | concept | open | hott_book index/A.10/definition-by-pattern-matching |
| definition, by pattern matching | 8ASXGK1KK6 | concept | open | hott_book index/4.4/definition-by-pattern-matching |
| definition, by pattern matching | VTTPGB9RCP | concept | open | hott_book index/8.6/definition-by-pattern-matching |
