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