
_START_ARTICLE_
可加性
_START_SECTION_
定义
_START_PARAGRAPH_
一个函数f:A→B，其定义域A和陪域B上分别定义了某种加法和。若该函数满足：∀x,y∈A，有。则称f对于和满足可加性。在上下文对于和都很明确的情况下，通常简称为f 满足可加性，亦称f为可加函数。_NEWLINE_若上述函数f满足：∀有限集，有，则称f满足有限可加性。_NEWLINE_若上述函数f满足：∀可列集，有，则称f满足可列可加性。