79eff672b780688723e68396309c701bde871a847169a7534b73c6f8d4f766c9b1cbbdd36aa3f7af2dd74fc7ef083d9f8ce93dd47dcf



위에는 ternary relation이 unordered triple 들을 원소로 갖는 집합이라고 해놓고

밑에는 ternary relation  S의 원소 u 는 u=(x, y, z) 라는데 근데 그러면 u 는 ordered triple 아님?