ultrafilter
preferred label: فرا پالایه @fa
type: Concept
related: representation lemma

equivalence class
preferred label: کلاس هم‌‌ارزی @fa
type: Concept
related: representation lemma

representation lemma
related: ultrafilter
related: ultrapower
related: equivalence class
broader: model theory of set theory
preferred label: لم نمایش @fa
type: Concept

model theory of set theory
preferred label: نظریه مدل نظریه مجموعه‌ها @fa
type: Concept
narrower: representation lemma

ultrapower
preferred label: فرا توان @fa
type: Concept
related: representation lemma