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

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