[정처기] 관계해석 기호

- 관계 해석

* ∃: 존재한다(There exist)

* ∈: t가 r에 속함( t ∈ r )

* ∀: 모든 것에 대하여(for all)

* ∪: 합집합