[계산이론] - 기본 지식(2) : 함수(function)과 관계(relation)