f(x,y)=(y^2+(2*x+3)*y+x^2+x)/2という式[(1+2+...+(x+y))+yと書いても同じです]
xとyの値が異なれば必ず違う値で、
異なるx,yの組み合わせが同じ値になることがありません

このような関数は(何となく)たくさん作れそうな気がするのですが
色々なパターンを簡単に生成する方法ってありますか？
また、このような関数(とその逆関数)について
知りたいのですが、どういった本で学べば良いでしょうか
大雑把には代数学だとは思うのですが。