Quantification over functions, owing to the equivalence to relations as described above, is thus also not allowed.
Ποσοτικοποιήσεις πάνω σε συναρτήσεις, οφειλόμενες στην ισοδυναμία των σχέσεων όπως περιγράφηκε παραπάνω, είναι μη επιτρεπτές.