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

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