>>834
π:R×R→R:(a,b)→a