theorem :: ENS_1:18

for V being non empty set holds Maps V = union { (Maps (A,B)) where A, B is Element of V : verum }