for Omega being non empty finite set
for P being Probability of Trivial-SigmaField Omega
for X being Real-Valued-Random-Variable of (Trivial-SigmaField Omega) holds X is_integrable_on P