Inverse Image of a Relation - kipawaa/Proof-Tree GitHub Wiki

Statement

The inverse image of a set $B$ under a Relation $R$ is a Subset of the Domain of a Relation given by $R^{-1}[B] = \{x \in \textnormal{dom}\, R \mid \exists y \in B$ for which $(x,y) \in R\}$.

Explanation

Proof(s)

History

Applications

Links

Dependencies

• Subset
• Relation
• Domain of a Relation

Dependents

Sources

• Hrbacek, K., & Jech, T. (1999). Introduction to Set Theory, Revised and Expanded (3rd ed.). CRC Press. https://doi.org/10.1201/9781315274096