Function은 집합간의 대응관계를 말할때 쓰고 map은 집합 외에도 더 포괄적으로 대응관계에 대해 말할때 쓴다는 것 같은데
Group이든 topological space이든 집합에다가 이항연산을 정의내리거나 topology를 부여한거니까 결국은 이것들도 집합인거 아닌가요?
수학적으로는 차이가 없고 맥락상 집합으로서만 이야기할때 function이라는 단어를 쓰는건가? 아니면 집합이 아닌 대상과 대응관계도 존재하나요?