ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Subset
Power set
Hyperpower set sequence
Hyperpower set
Hypersubset
Subset algebra
Subset structure
Measurable space
Measurable map
Random variable
Discrete random variable
Discrete random variable Shannon entropy
Simple random variable entropy
Simple random variable joint entropy
Definition D5727
Conditional simple entropy
Results
R4846: Conditional simple entropy with respect to itself