Αν $f,g$ είναι δύο συναρτήσεις με πεδία ορισμού $A, B$ αντίστοιχα, τότε η $g \circ f$ ορίζεται αν $f(A)∩B≠\emptyset$.