Assertion: matrix's element | /r/HasProperty | set with union
Facets:
value: as addition
type: MANNER
Source sentences:
text: For example, if R is the Boolean semiring (the two-element Boolean algebra R = {0,1} with 1 + 1 = 1), then M n (R) is the semiring of binary relations on an n-element set with union as addition, composition of relations as multiplication, the empty relation (zero matrix) as the zero, and the identity relation (identity matrix) as the unit.