טופולוגיה דיסקרטית

בטופולוגיה, הטופולוגיה הדיסקרטית על קבוצה , היא טופולוגיה מנוונת במיוחד, המוגדרת כך שכל הקבוצות יהיו פתוחות. את הטופולוגיה הדיסקרטית אפשר להגדיר באמצעות מטריקה מתאימה, הקרויה המטריקה הדיסקרטית: תחת מטריקה זו, המרחק בין כל שתי נקודות שונות קבוע.

כפייה (לוגיקה מתמטית)

בלוגיקה מתמטית, כפייה היא טכניקה רבת עוצמה, המאפשרת לבנות מודלים של תורת הקבוצות שבהם מתקיימות טענות שונות, שלאו דווקא נובעות ממערכת

סריג (מבנה סדור)

בתורת הקבוצות, סריג הוא קבוצה עם יחס סדר חלקי, שבו לכל שני איברים יש אינפימום וסופרמום. פירושו של דבר שיש איבר גדול ביותר מבין כל אלה

מישור מור

בטופולוגיה, מישור מוּר הוא דוגמה למרחב טופולוגי ספרבילי המקיים את תכונת האוסדורף, שאינו קומפקטי מקומית ואינו נורמלי. זוהי דוגמה פשוטה יחסית

אלגברת קווטרניונים

במתמטיקה, אלגברת קווטרניונים היא אלגברה פשוטה שהממד שלה מעל המרכז הוא 4. סוג זה של אלגברה הוא הדוגמה מן הממד הקטן ביותר האפשרי לחוג פשוט או לחוג

תחום שלמות

באלגברה מופשטת, תחום שלמות הוא חוג חילופי עם יחידה כפלית שאין בו מחלקי אפס. בין הדוגמאות החשובות ניתן למצוא כל תת חוג של הממשיים, ומכאן

על מכפלה

בתורת המודלים ובאלגברה מופשטת, על-מכפלה היא בניה בסיסית של מודל חדש מתוך אוסף של מודלים בסיסיים בעלי אותה שפה. כאשר כל המודלים הבסיסיים

מרחב קומפקטי מקומית

מרחב קומפקטי מקומית הוא מרחב טופולוגי שבו לכל נקודה קיימת סביבה קומפקטית. תכונה זו מתקיימת באופן אוטומטי בכל מרחב טופולוגי קומפקטי, אם כי ישנם

פונקציה אלמנטרית

פונקציה מרוכבת או ממשית היא פונקציה אלמנטרית אם ניתן לבנות אותה על ידי מספר סופי של פעולות האריתמטיקה הבסיסיות והרכבה ממספר פונקציות

אקסיומת ההפרדה

בתורת הקבוצות האקסיומטית, אקסיומת ההפרדה היא סכימת אקסיומות שמבטיחה שכל תת קבוצה ניתנת להגדרה של קבוצה היא גם קבוצה

מחצבת נשר הישנה

מחצבת נשר הישנה היא מחצבה הנמצאת בתחתית מורד הר הכרמל בשטח העיר נשר על גבול עמק זבולון. שטח המחצבה 250 דונם, היא קרובה לשמורת טבע פארק הכרמל