어떤 릴레이션 R에서 X와 Y를 각각 R의 속성 집합의 부분 집합이라고 할 경우 속성 X의 값 각각에 대해 시간에 관계 없이 항상 속성 Y의 값이 오직 하나만 연관되어 있을 때 Y는 X에 함수적 종속이라고 한다. 이를 기호로 옳게 표기한 것은?