Question: is it Morphism?

i assign 

seta := [x+1, x^2]

setb := [x^3, 2*x+5]

 

does morphism mean that

i use card_prod

to get

(x+1, x^3)

(x+1, 2*x+5)

(x^2, x^3)

(x^2, 2*x+5)

such that i composite each of 4 sets still satisfy F(f o g) = f o g

example

subs(x=x^3, x+1)

Please Wait...