 For the rest of the third section, four kinds of algebraic signs are introduced to be applied on these predicate letters: the inclusion sign (\(\inclusion\)), the addition sign (\(\cunion\)), the multiplication sign (juxtaposition or “,”), and the involution sign (exponentiation).