포함한다의 'C' 기호는 2차논리의 술어임?

[익명(211.36)]

속성과 속성간 관계를 나타내는 기호니까

[익명(118.235)]

왜 자꾸 ∈이랑 ⊂을 유로랑 C로 쓰는지 모르겠는데, 일단 ⊂는 속성 간의 관계에 관한 술어가 아니라 집합 간의 포함 관계에 관한 술어임. 또 2차논리와 1차논리의 차이는 술어를 양화할 수 있는지에 따라 갈리는데, ⊂ 자체에는 그런 함의가 전혀 없고 단지 ⊂는 집합론의 술어일 뿐임.

[익명(118.235)]

정확히는, A ⊂ B는 for all x if x ∈ A, then x ∈ B의 축약된 표현이고, 이는 명백히 1차논리의 식이지.