Disjoint-union partial algebras

Robin Hirsch, Brett McLean

Disjoint union is a partial binary operation returning the union of two sets if they are disjoint and undefined otherwise. A disjoint-union partial algebra of sets is a collection…