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

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