Talk:Union of Inverse of Relations is Inverse of their Union

From ProofWiki
Jump to navigation Jump to search

No to the merge with Preimage of Union under Relation.

One concerns the inverse under a given relation of a union of subsets of its codomain.

The other concerns the inverses of two relations on the same sets.

The two are not the same thing. --prime mover (talk) 14:01, 25 July 2021 (UTC)