under set union
* An empty sum or empty coproduct
* An initial object in a category (an empty coproduct, and so an identity under coproducts)

Absorbing elements