Εξωτερική πράξη

Aν Α και Ε είναι δύο μη κενά σύνολα, τότε κάθε απεικόνιση του καρτεσιανού γινομένου Α × Ε στο Ε λέγεται εξωτερική πράξη στο Ε με συντελεστές (ή τελεστές) από το σύνολο Α.

Παράδειγμα εξωτερικής πράξης είναι ο βαθμωτός πολλαπλασιασμός στη γραμμική άλγεβρα. Σε αυτή την περίπτωση το Α είναι ένα σώμα και το Ε είναι ένας διανυσματικός χώρος. Το εσωτερικό γινόμενο δύο διανυσμάτων, όμως, δεν είναι εξωτερική πράξη, καθώς αποτελεί απεικόνιση από το ΑxΑ στο Ε, όπου τώρα το Ε είναι σώμα και το Α διανυσματικός χώρος.

Θεωρία συνόλων