כפייה (לוגיקה מתמטית) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ הוספת פרק קישורים חיצוניים + תבנית:MathWorld (בערכים בהם אין קישורים חיצוניים) (תג) (דיון) |
Texvc2LaTeXBot (שיחה | תרומות) מ החלפת קוד LaTeX מיושן mw:Extension:Math/Roadmap |
||
שורה 21:
קבוצה G תקרא '''מסנן גנרי''' עבור P אם היא מקיימת את שלושת התנאים הבאים:
# G סגורה להחלשה: <math>x \in G, x < y \rightarrow y \in G</math>.
# לכל שני איברים ב-G יש איבר מ-G שחזק יותר משניהם: <math>x, y \in G \rightarrow \exist z \in G, z \le x \
# לכל קבוצה צפופה D במודל הבסיס, <math>G \cap D \neq \emptyset</math>, כאשר D תקרא קבוצה צפופה אם לכל <math>x \in P</math> יש <math>y \in D</math> כך ש-<math>y \le x</math>.
| |||