관계해석 수학의 프레디캇.. 그거 실제 사용함?