Page "Cumulativity" Paragraph 2

Formally, a cumulativity predicate CUM can be defined as follows, where capital X is a variable over sets, U is the universe of discourse, p is a mereological part structure on U, and is the mereological sum operation.