When people are talking about a probability distribution, does this include generalized functions such as the Dirac-delta distribution or not?
Definition of probability distribution:
A probability distribution is a list of all of the possible outcomes of a random variable along with their corresponding probability values.
So a probability distribution is basically a mapping between outcomes and their probability.
My understanding: Special cases of probability distribution include PDF (when the r.v. is continuous), probability mass function (when the r.v. is discrete), and also the Dirac-delta distribution. A "probability distribution" must be a distribution in all cases. This is straightforward. Math praises precise language: by using the same word, "distribution" must be a "distribution", and a "probability distribution" must be a special case of distribution.
Though, I found many internet sources that argue against my point, so please correct me if I am wrong. I also found no formal sources linking "probability distribution" with the "distribution" (a.k.a. generalized function); any help on this will be very helpful!
Note1: some researchers defined a term "generalized probability density function" which does not necessarily related to this question.
Note2: a PDF is a distribution. But some distributions, such as the Dirac-delta distribution cannot be a PDF, see: Can a Dirac delta function be a probability density function of a random variable?.