Theoremdex.org
Definitions
,
Results
,
Conjectures
D34
Inner product
D216
Inverse map
D97
Open set
D5395
Verum basic boolean logic gate
D247
Topologically self-dense set
D2424
Set of basic real intervals
D4490
Set of stationary events
D4201
Set of rademacher basic integers
D326
Cartesian product
D4526
Arrow set
D552
Set of upper bounds
D2166
Basic natural number factorial
D3367
Subset algebra
D111
Strong euclidean real derivative
D1704
Complete measure
D5319
Idempotent binary operation
D2713
Independent random collection
D1104
Binary relation structure
D1162
Bottom topological space
D4473
Trivial metric
D4428
Canonical identity map
D3121
Measure-convergent sequence
D5073
Euler-Mascheroni constant
D4197
Central binomial coefficient
D3120
Probability-preserving endomorphism
D554
Binary operation
D5116
Cogeometric random basic natural number
D4475
Trivial metric space
D607
Complex addition operation
D795
Standard Hilbert cube
D3880
Unsigned basic integral measure
D3650
Random probability measure
D3649
Random unsigned basic measure
D364
Euclidean distance function
D88
Set closure
D5103
Unsigned basic expectation
D210
Gaussian random basic real number
D4689
Factorial sequence
D2153
Measurable product space
D288
Transitive binary relation
D529
Map inverse image
D1916
Bottom sigma-algebra
D5700
Euclidean real line segment
D3799
Set of open cylinder sets
D80
Power set
D5324
Random basic real number stochastic ordering relation
D5376
Set of finite unsigned basic measures
D2947
Level set
D2727
Infinite graph
D470
Subsigma-algebra
D40
Inverse element
D1743
Lebesgue measure
D827
Set of quaternions
D2149
Lambda algebra
D4949
Basic natural number function
D5275
Underdispered random basic real number
D249
F-sigma set
D778
Graph
D5500
Almost sure event
D568
Map composition operation
D4155
Conditionally independent random collection
D3802
Subnull set
D3003
Closed set partition
D666
Transitive set
D98
Closed set
D4548
Graph homomorphism
D4717
Entire function
D4057
Standard basic real wiener bridge process
D3831
Independent collection of event collections
D3865
Measurable space isomorphism
D75
Set subcover
D4536
Infinite ring
D5585
Set of P-integrable random basic real numbers
D5124
Conic map
D4210
Indicator function operator
D1822
Map maximum
D4764
Set of null sets
D2950
Strict superlevel set
D441
Open set cover
D3439
Event odds
D3551
Sheffer basic boolean logic gate
D669
Minimal element
D293
Asymmetric binary relation
D1729
Pushforward sigma-algebra
D3763
Jordan outer measure
D2910
Set of proper set partitions
D3754
Standard gaussian function
D4476
Lipschitz constant
D2634
Warsaw sine curve
D5406
Basic positive integer function
D5289
Strong white noise random basic real collection
D466
Surjective map
D5706
Basic real entropy function
D49
Proper contraction
D4469
Empty measurable space
D3046
Map hypograph
D1881
Cocountable set
D5632
Complex Lebesgue convolution approximate identity
D2137
Basic real golden ratio
D3083
Set of P-integrable random complex numbers
D3739
Laplace transform
D4947
Basic rational function
D372
Set of complex numbers
D2731
Complete graph
D2325
Random euclidean real number characteristic function
D4534
Infinite digraph
D429
Monotone map
D2788
Confounder digraph
D204
Probability distribution measure
D4990
Riemann sphere projection
D316
Set of P-integrable complex Borel functions
D135
Singleton set
D673
Von Neumann ordinal sequence
D4529
Subdigraph
D4423
Relation class
D3766
Jordan measure
D5042
Trioton set
D525
Left inverse map
D23
Abelian group
D1810
Open interval
D2841
Stationary measurable set
D4614
Log-gaussian random basic real number
D154
Pushforward topology
D679
Groupoid homomorphism
D3383
Constant function
D781
Complex Lebesgue inner product
D4109
Predictable random sequence
D1747
Unsigned basic integral
D2197
Set of topologies
D2054
Diagonal matrix
D3202
Basic natural number set density
D484
Set of sigma-algebras
D5348
Set of binary relations
D5468
Triadic basic rational number
D4807
Möbius function
D58
Metric
D3876
Set of isolated points
D2726
Finite graph
D358
Right-unique binary relation
D263
Groupoid
D1931
Standard basic real sine function
D5292
Standard strong white noise random basic real collection
D399
Symmetric matrix
D3044
Map epigraph
D101
Proper subset
D3037
Set of euclidean real intervals
D3777
Standard Cantor number
D537
Left identity element
D65
Cauchy sequence
D2732
Graph isomorphism
D5274
Overdispersed random basic real number
D4075
Hyperpower set
D4812
Topological space density
D1927
Standard basic real cosine function
D5680
Empirical random basic real probability distribution measure
D4492
Ergodic probability-preserving system
D467
Injective map
D79
Set complement
D1861
Stieltjes measurable space
D336
Convergent sequence
D1749
Complex integral
D47
Lipschitz map
D181
Canonical set epimorphism
D2299
Polish topological space
D5477
Basic real exponential mean
D2839
Probability-preserving system
D5121
Subaffine map
D5276
Equidispersed random basic real number
D558
Ringoid
D1106
Topological space
D5640
Set of euclidean complex numbers
D1579
Distinct prime factor counting function
D218
Basic boolean function
D2758
Cylinder set
D1885
Upward enclosed set
D3915
Exchangeable random collection
D3047
Map strict hypograph
D5705
Natural basic real entropy function
D1678
Complete measure space
D179
Equivalence class
D1289
Basic function positive part
D848
Chain
D3306
Basic real harmonic mean
D1400
Set distance
D5005
Complex function primitive
D386
Set of continuous maps
D1079
Canonical surjective submap
D1296
Weak white noise random basic real collection
D3570
Dyadic basic rational number
D301
Infimum element
D39
Identity element
D287
Reflexive binary relation
D4636
Set of chains
D286
Partial ordering relation
D676
Map support
D2751
Hyperdigraph
D86
Topology
D4659
Natural basic real exponential function
D5096
Beta function
D3983
Complex random Lebesgue inner product
D1703
Point measure
D3416
Complex martingale
D605
Basic rational addition operation
D2951
Strict sublevel set
D2454
Basic real arithmetic mean
D353
Set automorphism
D608
Basic integer multiplication operation
D2737
Subgraph
D1858
Stieltjes outer measure
D5698
Basic real martingale
D520
Set exterior
D609
Basic rational multiplication operation
D3556
Peirce basic boolean logic gate
D289
Antisymmetric binary relation
D57
Open map
D4424
Binary endorelation
D169
Napier's constant
D3059
Ergodic measure
D4545
Triangle graph
D3731
Standard Cantor set
D3757
Elementary euclidean real set
D427
Isotone map
D457
Isolated point
D2719
Standard Gaussian basic real density function
D3800
Measurable cylinder set
D184
Constancy relation
D4491
Ergodic probability measure
D2504
Weak contraction
D43
Inclusion map
D1811
Left-closed interval
D18
Map
D4468
Empty metric space
D1042
Set of digits
D3775
Complete probability space
D702
Involution
D785
Kolmogorov topological space
D690
Linear map
D462
Open neighbourhood
D519
Set interior
D1587
Slope matrix
D2827
Measure-preserving system
D3201
Upper basic natural number set density
D117
Complex Lebesgue quotient set
D2872
Bernoulli probability mass function
D2455
Basic real geometric mean
D296
Set upper bound
D5120
Superaffine map
D5614
Strongly differentiable basic real function
D1734
Outer measure
D4806
Arithmetic function
D4549
Graph union
D604
Basic integer addition operation
D637
Basic natural number addition operation
D2865
Exponential density function
D963
Empty sigma-algebra
D4587
Set of digraphs
D379
Maximum operation
D1732
Pushforward measure
D431
Strictly antitone map
D2150
Intersection algebra
D5717
Complex matrix determinant
D3557
Exclusively disjunctional basic boolean logic gate
D127
Open ball
D78
Subset
D1109
Measurable set
D2940
Measure-preserving endomorphism
D610
Basic real multiplication operation
D3312
Basic real power mean
D948
Group homomorphism
D2012
Conditional probability
D1731
Submeasure
D3483
Atomic measurable set
D5150
Complement set partition
D1405
Vector space isomorphism
D468
Bijective map
D3553
Biconditional basic boolean logic gate
D866
Standard logarithm function
D3111
Set of topologically dense sets
D3889
Tail sigma-algebra
D4448
Closed set cover
D1082
Finite group
D371
Imaginary number
D1158
Measure space
D3798
Open cylinder set
D1694
Lattice order relation
D1510
Basic real closed unit interval
D5464
Hyperpower set sequence
D103
Finite matrix
D1697
Sigma-bounded measure
D1821
Map minimum
D370
Set of basic irrational numbers
D41
Indicator function
D1945
Closure point
D611
Complex multiplication operation
D4583
Maximal binary relation
D70
Set difference
D327
Canonical set projection
D1730
Pullback sigma-algebra
D380
Minimum operation
D76
Set intersection
D1896
Upper enclosure
D1580
Fermat number
D471
Independent collection of sigma-algebras
D1083
Finite ring
D2660
Set endomorphism
D5622
Hessian
D1944
Strict ordinal number ordering relation
D724
Set of Cauchy sequences
D113
Riemann zeta function
D3591
Subtopology
D5594
Lebesgue distance function
D20
Enclosed binary operation
D2801
Conull set
D2948
Sublevel set
D77
Set union
D4467
Sigma-algebra restriction
D5573
Strongly mixing probability-preserving system
D3657
Basic real wiener process
D197
Finite measure
D954
Superset
D686
Class of ordinal numbers
D1880
Cofinite set
D52
Closed map
D4509
Graph tensor product
D955
Proper superset
D2410
Standard basic real exponentiation function
D3844
Index of dispersion
D178
Equivalence relation
D359
Left-total binary relation
D5649
Complex oriented curve integral
D5634
Pristine basic real gaussian function
D2577
Set of octonions
D5465
Contraction
D3550
Negational basic boolean logic gate
D589
Successor set
D1897
Lower enclosure
D5466
Minimal Lipschitz constant
D4550
Graph intersection
D17
Finite set
D201
Measurable map
D3765
Set of Jordan measurable sets
D5019
Convex map
D5293
Standard weak white noise random basic real collection
D357
Left-unique binary relation
D244
Baire topological space
D1748
Signed basic integral
D85
Unsigned basic measure
D977
Left-invertible map
D1301
Generated subgroup
D4474
Canonical empty map
D5476
Basic real logarithmic mean
D3552
Conditional basic boolean logic gate
D5359
Singleton map
D91
Product topology
D4489
Stationary event
D1917
Bottom measurable space
D362
Inverse binary relation
D857
Empty binary relation
D3730
Standard cantor sequence
D5018
Affine map
D1707
Ordered set
D265
Monoid
D544
Closed basic real interval
D2221
Set of bijections
D2840
Ergodic measure-preserving system
D3344
Set of subsigma-algebras
D4430
Constancy class
D5718
Basic real matrix determinant
D3568
P-adic basic rational number
D6
Basic natural number factorial function
D5402
Basic boolean logic gate
D258
Gamma function
D3566
Set of unsigned basic measures
D465
Hausdorff topological space
D5708
Standard basic real logistic function
D55
Continuous map
D978
Right-invertible map
D2148
Pairwise independent event collection
D92
Limit point
D4715
Analytic basic real function
D317
Lebesgue length function
D276
Module
D4316
Set of singletons
D3189
Complex random Lebesgue quotient set
D3567
Measure absolute continuity relation
D4076
Hypersubset
D432
Strictly monotone map
D5134
Unsigned basic binary operation
D138
Standard mollifier
D3369
Subset structure
D668
Maximum element
D99
Separable topological space
D5215
Random basic rational number
D4531
Superdigraph
D1402
Closed ball
D535
Left inverse element
D865
Standard natural basic real logarithm function
D5306
Complex matrix conjugate transpose
D1860
Stieltjes sigma-algebra
D2887
Absolutely continuous measure
D294
Symmetric binary relation
D1680
Zero measure
D543
Open basic real interval
D5208
Symmetric random basic real number
D2222
Set of injections
D4136
Real cartesian product
D989
Map kernel
D527
Composite map
D5254
Stationary random sequence
D2018
Subspace topology
D2851
Standard measurable space of basic natural numbers
D180
Quotient set
D93
Neighbourhood
D1812
Right-closed interval
D670
Maximal element
D2167
Binomial coefficient
D1492
Map graph
D319
Borel sigma-algebra
D4
Binary relation
D1819
Order isomorphism
D4393
Event Shannon nat information
D3333
Hölder map
D761
Identity matrix
D1103
Partially ordered set
D1159
Probability space
D440
Identity map
D211
Standard gaussian random basic real number
D16
Countable set
D5394
Falsum basic boolean logic gate
D219
Empty map
D428
Antitone map
D246
Topologically nowhere dense set
D5287
Standard rademacher random basic integer
D5574
Weakly mixing probability-preserving system
D83
Proper set partition
D22
Group
D1519
Constant map
D4154
Conditionally independent collection of sigma-algebras
D551
Fixed point
D248
G-delta set
D672
Ordinal number
D5071
Algebraic subset structure
D2949
Superlevel set
D5307
Hermitian complex matrix
D5675
Complex matrix symmetric part
D1837
Irreflexive binary relation
D2640
Clopen set
D3997
Even euclidean real function
D5480
Even basic real function
D3161
Random basic real number
D2873
Binomial probability mass function
D5143
Set partition
D3793
Exponential probability distribution function
D1676
Null set
D4595
Set of Fibonacci numbers
D5263
Standard symmetric random basic real number
D430
Strictly isotone map
D2790
Mediator digraph
D56
Homeomorphism
D300
Supremum element
D4391
Event Shannon information
D360
Right-total binary relation
D5066
Canonical empty binary relation
D536
Right inverse element
D2888
Radon-Nikodym derivative
D136
Topologically dense set
D4392
Event Shannon bit information
D24
Ring
D1163
Bottom topology
D412
Absolute value function
D121
Complex Lebesgue convolution
D5639
Complex cartesian product
D4533
Finite digraph
D5637
Standard basic natural number counting measure
D5569
Almost stationary measurable map
D1809
Closed interval
D2189
Semigroup homomorphism
D606
Basic real addition operation
D3555
Disjunctional basic boolean logic gate
D1720
Independent event collection
D71
Symmetric set difference
D3554
Conjunctional basic boolean logic gate
D559
Semiring
D2696
Digraph
D1581
Mersenne prime integer
D2745
Set of subgraphs
D3953
Schwartz function
D209
Probability density function
D398
Matrix transpose
D1224
Set diameter
D707
Sublinear map
D1886
Downward enclosed set
D3801
Set of measurable cylinder sets
D553
Set of lower bounds
D3660
Countable map
D4862
Erlang random positive basic number
D3097
Set of fixed points
D1613
P-subgroup
D2864
Gaussian basic real density function
D202
Random variable
D2906
Set of N-subsets
D5074
Empirical probability distribution function
D5220
Convex conjugate function
D1862
Stieltjes measure
D526
Right inverse map
D3804
Set of subnull sets
D4248
Almost everywhere constant map
D3774
Complete probability measure
D2795
Conditionally independent event collection
D212
Chi-squared random basic real number
D5641
Standard counting measure space of basic natural numbers
D1112
Empty topological space
D723
Symmetric map
D198
Probability measure
D5648
Continuously differentiable complex path integral
D1568
P-group
D318
Generated sigma-algebra
D638
Basic natural number multiplication operation
D1672
Collatz function
D4530
Set of subdigraphs
D3045
Map strict epigraph
D4527
Node set
D2635
Warsaw sine function
D1651
Monoid homomorphism
D5575
Probability-preserving random euclidean real sequence
D3998
Odd euclidean real function
D747
Idempotent map
D1110
Discrete topological space
D1394
Normal subgroup
D5365
Standard digit sequence
D1716
Event
D4551
Graph complement
D5102
Basic expectation
D195
Discrete sigma-algebra
D1416
Strongly differentiable euclidean real function
D264
Semigroup
D2842
Set of stationary measurable sets
D3658
Standard basic real wiener process
D708
Superlinear map
D3357
Identically distributed random collection
D191
Binary cartesian set product
D1673
Sample space
D5638
Top subset structure of basic natural numbers
D1108
Measurable space
D3200
Lower basic natural number set density
D48
Bilipschitz map
D61
Semimetric
D4493
Canonical singleton map
D1838
Borel measurable space
D5508
Conditionally independent collection of event collections
D1411
Analytic complex function
D5467
Set of Lipschitz constants
D1240
Trivial group
D442
Empty topology
D5630
Set of euclidean real numbers
D1932
Standard natural basic real exponential function
D2913
Bell coefficient
D5236
Empirical probability distribution measure
D5286
Rademacher random basic integer
D74
Set cover
D1578
Prime factor counting function
D2282
Set of probability measures
D4978
Basic rational closed unit interval
D4594
Fibonacci natural number sequence
D5285
Standard chi-squared random basic real number
D1727
Boolean algebra
D1107
Metric space
D297
Set lower bound
D1401
Sphere
D2115
Nonempty set
D447
Open set partition
D2738
Supergraph
D3835
Duoton set
D84
Sigma-algebra
D528
Map image
D100
Topological subspace
D157
Disjoint union
D1290
Basic function negative part
D1509
Basic real open unit interval
D667
Minimum element
D1670
Primorial function
D4139
Catalan sequence
D193
Inductive set
D2223
Set of surjections
D4696
Conjugate-even complex function
D5673
Zero definite complex matrix
D5674
Complex matrix antisymmetric part
D1563
Group centre
D2786
Collider digraph
D1700
Discrete measurable space
D2154
Product sigma-algebra
D5570
Stationary measurable map
D4364
Basic real function
D50
Isometry
D4695
Conjugate-odd complex function
D538
Right identity element
D1681
Disjoint set collection
D4948
Basic integer function
D976
Invertible map
D950
Ring homomorphism
D382
Heaviside function