관계와 함수를 어떻게 정의해야 할까요?

[익명(222.104)]

A*B의 한 "부분집합"을 관계라고 한다.

A*B의 한 부분집합 R에 대해, (R,A,B)를 관계라고 한다.

둘 중 어느 것이 더 적당할까요?

처음에는 당연히 후자가 더 엄격한 정의라고 생각했는데,

지금은 전자가 더 맞지않나 생각합니다. 어떻게 생각하시나요?

[익명(1.227)]

집합론에선 보통 전자로 정의하는데 어디서 어디로 가는 매핑이냐 즉 매핑이 중시되는 분야에선 후자를 택할듯 (범주론?)