初めに示すべきは、μ が次に述べる意味で加法的であることである。