Set Theoryhard
0:00.0
Let be a function. For any subsets , let denote the image of under . Which of the following conditions on is both necessary and sufficient for the identity to hold for all subsets ?
Let be a function. For any subsets , let denote the image of under . Which of the following conditions on is both necessary and sufficient for the identity to hold for all subsets ?