つまり、一般にはプログラムは集合写像ではない(programisNOTmapping).
一般には