(Computational) universality A system is called universal with respect to a class of systems if it can compute every function computable by systems in that class (or can simulate each of those systems).
Ένα σύστημα, ονομάζεται καθολικό σε σχέση με μια τάξη συστημάτων, αν μπορεί να υπολογίσει κάθε συνάρτηση που υπολογίζεται από συστήματα της τάξης αυτής (ή μπορεί να προσομοιώσει κάθε ένα από αυτά τα συστήματα).