ThmDex – An index of mathematical definitions, results, and conjectures.
D1402: Closed ball
D5573: Strongly mixing probability-preserving system
D78: Subset
D3801: Set of measurable cylinder sets
D5480: Even real function
D5594: Lebesgue distance function
D2183: Set of bytes
D4806: Arithmetic function
D786: Standard natural complex exponential function
D989: Map kernel
D5738: Strictly subconvex real function
D5708: Standard basic real logistic function
D210: Gaussian random real number
D536: Right inverse element
D3793: Exponential probability distribution function
D5918: Real number principal square root
D316: Set of P-integrable complex Borel functions
D135: Singleton set
D4529: Subdigraph
D6033: Standard natural hyperbolic tangent function
D537: Left identity element
D3554: AND boolean logic gate
D5606: Subconvex real function
D1838: Borel measurable space
D71: Symmetric set difference
D184: Constancy relation
D2949: Superlevel set
D2153: Measurable product space
D558: Ringoid
D1748: Signed basic integral
D330: Proper set partition relation
D4469: Empty measurable space
D5862: Complex matrix eigenvalue
D3799: Set of open cylinder sets
D866: Standard real logarithm function
D52: Closed map
D318: Generated sigma-algebra
D1704: Complete measure
D3555: OR boolean logic gate
D4115: Gram-Schmidt projection
D5706: Real entropy function
D3889: Tail sigma-algebra
D994: Rational number
D258: Gamma function
D248: G-delta set
D5395: Verum basic boolean logic gate
D4527: Node set
D3658: Standard real Wiener process
D1277: Left-closed real interval
D604: Integer addition operation
D4493: Canonical singleton map
D1933: Standard natural hyperbolic cosine function
D441: Open set cover
D1932: Standard natural real exponential function
D4491: Ergodic probability measure
D300: Supremum element
D1927: Standard real cosine function
D2013: Random real number central moment
D202: Random variable
D5637: Standard basic natural number counting measure
D6226: Complex matrix singular value
D1383: Euclidean length function
D1581: Mersenne prime integer
D1676: Null measurable set
D1210: Complex modulus function
D1580: Fermat number
D297: Set lower bound
D2947: Level set
D5073: Euler-Mascheroni constant
D6231: Complex matrix square root
D950: Ring homomorphism
D4139: Catalan sequence
D609: Rational multiplication operation
D3739: Laplace transform
D5944: Real matrix vectorization
D2148: Pairwise independent event collection
D3557: XOR boolean logic gate
D6183: Complex square matrix cofactor
D5639: Complex cartesian product
D2189: Semigroup homomorphism
D1881: Cocountable set
D3550: NOT boolean logic gate
D180: Quotient set
D4001: Geometric random positive integer
D2011: Euclidean real covariance
D1509: Open real unit interval
D4990: Riemann sphere projection
D1106: Topological space
D3383: Constant function
D2086: Orthonormal complex matrix
D428: Antitone map
D4812: Topological space density
D3357: Identically distributed random collection
D3111: Set of topologically dense sets
D2872: Bernoulli probability mass function
D5094: Positive integer
D2014: Random real number absolute moment
D2795: Conditionally independent event collection
D201: Measurable map
D3802: Subnull set
D1670: Primorial function
D729: Conjugate symmetric complex function
D3831: Independent collection of event collections
D2906: Set of N-subsets
D5985: Euclidean real Gram-Schmidt projection
D3774: Complete probability measure
D605: Rational addition operation
D83: Proper set partition
D5948: Upper triangular complex matrix
D1707: Ordered set
D1104: Binary relation structure
D289: Antisymmetric binary relation
D43: Inclusion map
D551: Fixed point
D4474: Canonical empty map
D3922: N-wise disjoint set collection
D2221: Set of bijections
D4550: Graph intersection
D4155: Conditionally independent random collection
D65: Cauchy sequence
D2732: Graph isomorphism
D3730: Standard cantor sequence
D79: Set complement
D98: Closed set
D370: Set of irrational numbers
D5945: Complex matrix trace
D2635: Warsaw sine function
D5134: Unsigned basic binary operation
D1860: Stieltjes sigma-algebra
D5467: Set of Lipschitz constants
D1290: Basic function negative part
D49: Proper contraction
D2015: Random real number moment
D2282: Set of probability measures
D4364: Real function
D6184: Complex cofactor matrix
D3567: Measure absolute continuity relation
D5858: Diagonal complex matrix
D3754: Standard gaussian function
D4154: Conditionally independent collection of sigma-algebras
D5191: Complex matrix kronecker product
D6: Natural number factorial function
D195: Discrete sigma-algebra
D5520: Closed real interval tagged partition
D3367: Subset algebra
D5220: Convex conjugate function
D2841: Stationary measurable set
D1224: Set diameter
D68: Set of maps
D1112: Empty topological space
D5673: Zero definite complex matrix
D5466: Minimal Lipschitz constant
D977: Left-invertible map
D6061: Standard unit semicircle function
D5629: Real neuron function
D5931: Boolean parity function
D1931: Standard real sine function
D538: Right identity element
D5018: Affine map
D948: Group homomorphism
D6050: Real square function
D2299: Polish topological space
D5781: Pairwise disjoint set collection
D2454: Real arithmetic mean
D117: Complex Lebesgue quotient set
D4430: Constancy class
D1510: Closed real unit interval
D5120: Superaffine map
D589: Successor set
D535: Left inverse element
D1916: Bottom sigma-algebra
D638: Natural number multiplication operation
D4937: Positive semidefinite real matrix
D1716: Event
D2222: Set of injections
D88: Set closure
D4925: Euclidean real arithmetic mean
D5570: Stationary measurable map
D77: Set union
D4316: Set of singletons
D80: Power set
D380: Minimum operation
D1837: Irreflexive binary relation
D2718: Euclidean real gaussian density function
D4424: Binary endorelation
D857: Empty binary relation
D2790: Mediator digraph
D3358: I.I.D. random collection
D1163: Bottom topology
D2402: Real number square root
D2840: Ergodic measure-preserving system
D6195: Complex lexicographic ordering relation
D3800: Measurable cylinder set
D3949: Complex number polar representation
D5614: Differentiable real function
D2726: Finite graph
D5574: Weakly mixing probability-preserving system
D529: Map inverse image
D3953: Schwartz function
D3915: Exchangeable random collection
D1563: Group centre
D2899: Random real number median
D263: Groupoid
D6216: Symmetric complex matrix
D56: Homeomorphism
D2634: Warsaw sine curve
D5156: Euclidean real variance
D4248: Almost everywhere constant map
D204: Probability distribution measure
D4391: Event Shannon information
D5869: Left-invertible real matrix
D1880: Cofinite set
D5674: Complex matrix antisymmetric part
D1158: Measure space
D5033: Monic complex polynomial function
D5752: Softmax function
D39: Identity element
D1568: P-group
D4526: Arrow set
D2140: Random real number variance
D2099: Positive semidefinite complex matrix
D4075: Hyperpower set
D1819: Order isomorphism
D2144: Random real number standard deviation
D4978: Basic rational closed unit interval
D121: Complex Lebesgue convolution
D676: Map support
D5976: Real matrix complex eigenvalue
D3775: Complete probability space
D5901: Logistic random real number
D364: Euclidean distance function
D1822: Map maximum
D2887: Absolutely continuous measure
D4517: Set of euclidean basic numbers
D4536: Infinite ring
D668: Maximum element
D1897: Lower enclosure
D5634: Standard real gaussian function
D679: Groupoid homomorphism
D3551: NAND boolean logic gate
D4583: Maximal binary relation
D1492: Map graph
D714: Dedekind cut
D16: Countable set
D34: Inner product
D3954: Radial function
D6074: Apéry's constant
D747: Idempotent map
D2727: Infinite graph
D4448: Closed set cover
D85: Unsigned basic measure
D2854: Poisson random natural number
D4689: Factorial sequence
D5939: Real matrix standard submatrix
D3120: Probability-preserving endomorphism
D24: Ring
D1896: Upper enclosure
D4715: Analytic real function
D795: Standard Hilbert cube
D3047: Map strict subgraph
D3517: Language
D4947: Rational function
D5150: Complement set partition
D978: Right-invertible map
D6003: Null event
D1107: Metric space
D1103: Partially ordered set
D5943: Real adjugate matrix
D2: Absolutely continuous real function
D4948: Integer function
D1678: Complete measure space
D5042: Trioton set
D3483: Atomic measurable set
D3161: Random real number
D4551: Graph complement
D5917: Random real number standard error
D1747: Unsigned basic integral
D2950: Strict superlevel set
D5959: Neuron layer function
D1720: Independent event collection
D4867: Beta random positive real number
D3570: Dyadic rational number
D554: Binary operation
D4764: Set of null sets
D1681: Disjoint set collection
D154: Pushforward topology
D5376: Set of finite unsigned basic measures
D264: Semigroup
D2150: Intersection algebra
D4057: Standard real brownian bridge process
D5807: Real sequence asymptotic upper bound growth class
D22: Group
D1278: Right-closed real interval
D702: Involution
D127: Open ball
D75: Set subcover
D427: Isotone map
D2410: Standard real exponentiation function
D2018: Subspace topology
D5940: Real square matrix standard minor
D247: Topologically self-dense set
D103: Finite matrix
D165: Standard complex cosine function
D61: Semimetric
D3876: Set of isolated points
D670: Maximal element
D5124: Conic map
D4201: Set of rademacher integers
D5900: Standard basic real inverse logistic function
D467: Injective map
D2167: Binomial coefficient
D55: Continuous map
D3045: Map strict supergraph
D5638: Top subset structure of natural numbers
D5103: Unsigned basic expectation
D995: Integer
D2864: Real gaussian density function
D1743: Lebesgue measure
D37: Orthogonal vector pair
D6240: Euclidean complex dot product
D1886: Downward enclosed set
D100: Topological subspace
D317: Lebesgue length function
D3333: Hölder map
D3650: Random probability measure
D92: Limit point
D4518: Set of numbers
D5912: Specificity
D286: Partial ordering relation
D360: Right-total binary relation
D1079: Canonical surjective submap
D6186: Standard permutation
D1110: Discrete topological space
D214: Exponential random positive real number
D4612: Folded gaussian random unsigned real number
D707: Sublinear map
D1613: P-subgroup
D4534: Infinite digraph
D1810: Open interval
D5754: Standard real log-sum-exp function
D4717: Entire function
D372: Set of complex numbers
D5465: Contraction
D1162: Bottom topological space
D2751: Hyperdigraph
D2142: Random real number kurtosis
D2865: Exponential density function
D399: Symmetric matrix
D4136: Real cartesian product
D544: Closed real interval
D5949: Lower triangular complex matrix
D4691: Standard real harmonic series
D1945: Closure point
D41: Indicator function
D99: Separable topological space
D3306: Real harmonic mean
D5956: Feed-forward neural network
D4531: Superdigraph
D6192: Complex matrix eigenvalue sequence
D20: Enclosed binary operation
D4696: Conjugate-even complex function
D724: Set of Cauchy sequences
D4930: Real harmonic series
D2054: Diagonal matrix
D5274: Overdispersed random basic real number
D865: Standard natural real logarithm function
D5867: Right-invertible complex matrix
D379: Maximum operation
D4473: Trivial metric
D5779: Iterative Fibonacci algorithm
D3999: Standard Bernoulli random boolean number
D778: Graph
D6037: Euclidean real component sum operation
D93: Neighbourhood
D3983: Complex random Lebesgue inner product
D5648: Continuously differentiable complex path integral
D179: Equivalence class
D607: Complex addition operation
D5695: Full rank complex matrix
D2900: Quantile function
D2940: Measure-preserving endomorphism
D4312: Complex polynomial function
D101: Proper subset
D1519: Constant map
D1885: Upward enclosed set
D1760: Riemann integrable real function
D5622: Hessian real matrix function
D193: Inductive set
D2504: Weak contraction
D5285: Standard chi-squared random unsigned real number
D2154: Product sigma-algebra
D6246: Set of triadic rational numbers
D785: Kolmogorov topological space
D3711: Complex power series
D4475: Trivial metric space
D669: Minimal element
D5726: Simple random variable joint entropy
D2901: Multiset
D1401: Sphere
D1811: Left-closed interval
D4509: Graph tensor product
D2223: Set of surjections
D1394: Normal subgroup
D2640: Clopen set
D5930: RGB image
D4489: Stationary event
D468: Bijective map
D4549: Graph union
D5717: Complex matrix determinant
D2137: Basic real golden ratio
D5102: Basic expectation
D208: Binomial random natural number
D5263: Standard symmetric random real number
D386: Set of continuous maps
D2747: Acyclic graph
D5854: Digraph-generated graph
D197: Finite measure
D1159: Probability space
D5700: Euclidean real line segment
D3865: Measurable space isomorphism
D1732: Pushforward measure
D5675: Complex matrix symmetric part
D3121: Measure-convergent sequence
D282: Set of real numbers
D5254: Stationary random sequence
D4393: Event Shannon nat information
D470: Subsigma-algebra
D368: Set of rational numbers
D5292: Standard strong white noise random real collection
D412: Absolute value function
D955: Proper superset
D2577: Set of octonions
D827: Set of quaternions
D5808: Real sequence asymptotic lower bound growth class
D2910: Set of proper set partitions
D2898: Random real number percentile
D4807: Möbius function
D2873: Binomial probability mass function
D2731: Complete graph
D1042: Set of digits
D611: Complex multiplication operation
D520: Set exterior
D4617: Digamma function
D1578: Prime factor counting function
D3180: Basic function
D3312: Real power mean
D543: Open real interval
D353: Set automorphism
D47: Lipschitz map
D3731: Standard Cantor set
D4624: Standard unsigned uniform random real number
D2696: Digraph
D4476: Lipschitz constant
D5276: Equidispersed random basic real number
D1523: Isomorphic sets
D3571: Set of dyadic rational numbers
D40: Inverse element
D4864: Chi random unsigned real number
D5969: Set of euclidean boolean numbers
D4392: Event Shannon bit information
D2737: Subgraph
D4: Binary relation
D3003: Closed set partition
D5868: Right-invertible real matrix
D5215: Random rational number
D5950: Complex euclidean P-length function
D3844: Index of dispersion
D244: Baire topological space
D440: Identity map
D287: Reflexive binary relation
D3202: Basic natural number set density
D358: Right-unique binary relation
D336: Convergent sequence
D1405: Vector space isomorphism
D4865: Fisher random unsigned real number
D198: Probability measure
D1703: Point measure
D1583: Weierstrass function
D1727: Boolean algebra
D5698: Real martingale
D3200: Lower basic natural number set density
D2948: Sublevel set
D3566: Set of unsigned basic measures
D74: Set cover
D5585: Set of P-integrable random basic real numbers
D690: Linear map
D1730: Pullback sigma-algebra
D5783: ReLU function
D431: Strictly antitone map
D5306: Complex matrix conjugate transpose
D5911: Sensitivity
D462: Open neighbourhood
D4614: Log-gaussian random basic real number
D3997: Even euclidean real function
D2788: Confounder digraph
D3416: Complex martingale
D2888: Radon-Nikodym derivative
D6205: Conjugate symmetric complex matrix
D5477: Real exponential mean
D164: Standard complex sine function
D5468: Triadic rational number
D5324: Random real number stochastic ordering relation
D1809: Closed interval
D484: Set of sigma-algebras
D294: Symmetric binary relation
D4666: Standard real cosecant function
D5208: Symmetric random real number
D5860: Complex matrix eigenmatrix
D3791: Standard beta function
D519: Set interior
D2455: Real geometric mean
D2851: Standard measurable space of natural numbers
D5521: Riemann sum
D209: Probability density function
D1048: N-ary relation
D4695: Conjugate-odd complex function
D319: Borel sigma-algebra
D5402: Boolean logic gate
D91: Product topology
D86: Topology
D212: Chi-squared random unsigned real number
D5630: Set of euclidean real numbers
D2197: Set of topologies
D734: Complex conjugation operation
D6242: Euclidean complex Gram-Schmidt projection
D6181: Complex matrix standard submatrix
D1858: Stieltjes outer measure
D963: Empty sigma-algebra
D5287: Standard rademacher random integer
D5097: Dirichlet random euclidean real number
D673: Von Neumann ordinal sequence
D246: Topologically nowhere dense set
D3201: Upper basic natural number set density
D5192: Real matrix square root
D4105: Standard counting measure
D1240: Trivial group
D2870: Standard euclidean real gaussian density function
D181: Canonical set epimorphism
D5508: Conditionally independent collection of event collections
D4665: Standard real repeating tangent function
D5866: Left-invertible complex matrix
D4533: Finite digraph
D1749: Complex integral
D207: Bernoulli random boolean number
D5928: Set of RGB colors
D2749: Tree graph
D371: Imaginary number
D3189: Complex random Lebesgue quotient set
D357: Left-unique binary relation
D4571: Real matrix
D1275: Set of basic numbers
D2951: Strict sublevel set
D1082: Finite group
D5096: Beta function
D4545: Triangle graph
D5005: Complex function primitive
D637: Natural number addition operation
D76: Set intersection
D1416: Differentiable euclidean real function
D465: Hausdorff topological space
D4210: Indicator function operator
D5951: Euclidean P-length function
D4587: Set of digraphs
D1672: Collatz function
D5705: Natural real entropy function
D138: Standard mollifier
D362: Inverse binary relation
D432: Strictly monotone map
D5575: Probability-preserving random euclidean real sequence
D5844: Complex matrix vectorization
D2100: Positive definite complex matrix
D5275: Underdispered random basic real number
D2141: Random real number skewness
D3369: Subset structure
D6102: Dirichlet function
D3439: Event odds
D1411: Analytic complex function
D708: Superlinear map
D5179: Set of euclidean natural numbers
D2827: Measure-preserving system
D1861: Stieltjes measurable space
D301: Infimum element
D5236: Empirical probability distribution measure
D528: Map image
D382: Heaviside function
D5019: Convex map
D84: Sigma-algebra
D4423: Relation class
D217: Set of boolean numbers
D559: Semiring
D3046: Map subgraph
D17: Finite set
D5066: Canonical empty binary relation
D3757: Elementary euclidean real set
D1108: Measurable space
D48: Bilipschitz map
D1241: Standard zero group
D2325: Random euclidean real number characteristic function
D3745: Renewal process
D1382: Complex euclidean length function
D5511: Standard single boolean trial probability space
D4490: Set of stationary events
D3804: Set of subnull sets
D3037: Set of euclidean real intervals
D5676: Diagonalizable complex matrix
D743: Euclidean real dot product operation
D2913: Bell coefficient
D5982: Orthonormal real matrix
D525: Left inverse map
D3552: Conditional basic boolean logic gate
D2166: Basic natural number factorial
D136: Topologically dense set
D4492: Ergodic probability-preserving system
D4197: Central binomial coefficient
D507: Complex conjugate
D5974: Complex matrix spectrum
D6223: Normal complex matrix
D6031: Canonical real identity function
D5967: Set of euclidean rational numbers
D5043: Real function arithmetic mean
D5891: Standard unsigned uniform real density function
D3763: Jordan outer measure
D5406: Positive integer function
D219: Empty map
D109: Signum function
D552: Set of upper bounds
D3649: Random unsigned basic measure
D1862: Stieltjes measure
D3344: Set of subsigma-algebras
D2719: Standard real gaussian density function
D723: Symmetric map
D249: F-sigma set
D526: Right inverse map
D5809: Real sequence strict asymptotic upper bound growth class
D4898: Complex domain
D6182: Complex square matrix standard minor
D5569: Almost stationary measurable map
D6241: Euclidean real dot product
D1734: Outer measure
D5365: Standard digit sequence
D5853: Set of connected graph components
D1812: Right-closed interval
D2012: Conditional probability
D5500: Almost sure event
D3495: Finite state machine
D178: Equivalence relation
D1731: Submeasure
D610: Real multiplication operation
D4862: Erlang random positive real number
D4468: Empty metric space
D276: Module
D2156: Adapted random collection
D1700: Discrete measurable space
D3083: Set of P-integrable random complex numbers
D5632: Complex Lebesgue convolution approximate identity
D976: Invertible map
D6122: Standard uniform discrete probability space
D2738: Supergraph
D606: Real addition operation
D4595: Set of Fibonacci numbers
D3553: XNOR boolean logic gate
D1301: Generated subgroup
D466: Surjective map
D5640: Set of euclidean complex numbers
D5929: RGB color
D4594: Fibonacci natural number sequence
D5348: Set of binary relations
D3568: P-adic rational number
D666: Transitive set
D447: Open set partition
D5116: Cogeometric random natural number
D672: Ordinal number
D2919: Permutation
D1699: Basic number
D3044: Map supergraph
D471: Independent collection of sigma-algebras
D3660: Countable map
D1083: Finite ring
D1109: Measurable set
D903: String
D23: Abelian group
D327: Canonical set projection
D5946: Real matrix trace
D568: Map composition operation
D5941: Real square matrix cofactor
D5282: Standard Cauchy random real number
D1944: Strict ordinal number ordering relation
D5207: Real poisson process
D1729: Pushforward sigma-algebra
D4949: Natural number function
D5968: Set of euclidean integers
D1694: Lattice order relation
D2745: Set of subgraphs
D4782: Evaluation map
D5942: Real cofactor matrix
D225: Set of natural numbers
D761: Identity matrix
D2839: Probability-preserving system
D367: Set of integers
D288: Transitive binary relation
D5977: Real matrix eigenvector
D174: Vector space dimension
D1934: Standard natural hyperbolic sine function
D4636: Set of chains
D6217: Symmetric real matrix
D398: Matrix transpose
D216: Inverse map
D2758: Cylinder set
D3765: Set of Jordan measurable sets
D18: Map
D326: Cartesian product
D4530: Set of subdigraphs
D97: Open set
D157: Disjoint union
D5394: Falsum basic boolean logic gate
D4664: Standard real tangent function
D5286: Rademacher random integer
D781: Complex Lebesgue inner product
D5277: Index of variation
D169: Napier's constant
D667: Minimum element
D5871: Invertible real matrix
D686: Class of ordinal numbers
D70: Set difference
D57: Open map
D3777: Standard Cantor number
D113: Riemann zeta function
D5691: Complex matrix eigenvector
D5680: Random real number empirical probability distribution measure
D218: Boolean function
D5071: Algebraic subset structure
D2115: Nonempty set
D2660: Set endomorphism
D3059: Ergodic measure
D3591: Subtopology
D6185: Complex adjugate matrix
D1673: Sample space
D5319: Idempotent binary operation
D2786: Collider digraph
D3880: Unsigned basic integral measure
D5641: Standard counting measure space of basic natural numbers
D527: Composite map
D4076: Hypersubset
D2801: Conull set
D2740: Spanning subgraph
D6034: Standard real cotangent function
D6224: Normal real matrix
D1697: Sigma-bounded measure
D4548: Graph homomorphism
D3556: NOR boolean logic gate
D4467: Sigma-algebra restriction
D429: Monotone map
D4109: Predictable random sequence
D2771: Graph-generated digraph
D4428: Canonical identity map
D3835: Duoton set
D4613: Standard folded gaussian random unsigned real number
D430: Strictly isotone map
D5359: Singleton map
D221: Alphabet
D1587: Euclidean real function slope
D5718: Real matrix determinant
D5723: Simple random variable
D1400: Set distance
D3766: Jordan measure
D5870: Invertible complex matrix
D4000: Standard exponential random positive real number
D1225: Counting measure
D5293: Standard weak white noise random real collection
D457: Isolated point
D5825: Complex matrix characteristic polynomial
D848: Chain
D608: Integer multiplication operation
D5724: Simple random variable mutual information
D5143: Set partition
D3966: Constancy-preserving map
D3657: Real Wiener process
D6220: Complex matrix diagonal factorization
D293: Asymmetric binary relation
D1289: Basic function positive part
D265: Monoid
D5649: Complex oriented curve integral
D2149: Lambda algebra
D1917: Bottom measurable space
D5121: Subaffine map
D4938: Positive definite real matrix
D3798: Open cylinder set
D211: Standard gaussian random real number
D5464: Hyperpower set sequence
D2713: Independent random collection
D5524: Standard Poisson random natural number
D442: Empty topology
D3097: Set of fixed points
D359: Left-total binary relation
D954: Superset
D3998: Odd euclidean real function
D191: Binary cartesian set product
D1821: Map minimum
D2424: Set of real intervals
D1579: Distinct prime factor counting function
D1296: Weak white noise random real collection
D50: Isometry
D1651: Monoid homomorphism
D1680: Zero measure
D296: Set upper bound
D553: Set of lower bounds
D5289: Strong white noise random real collection
D58: Metric
D2842: Set of stationary measurable sets
D3838: Gamma random positive real number