and the following properties hold:

Also:

Multiple functions

For functions and with subsets and the following properties hold:

*
*

Multiple subsets of domain or codomain

For function and subsets and the following properties hold:

The results relating images and preimages to the (Boolean) algebra of intersection and union