Хотите ли вы «общее» определение или в определенном контексте?
В общем смысле «универсальный» описывает процесс или структуру, которая сама по себе не обеспечивает жесткого контекста, в котором она должна вызываться. В то же время, он должен понимать достаточно о своем контексте, чтобы иметь смысл. Например, общая структура для добавления чисел не будет заботиться о заданных аргументах с плавающей точкой или целыми числами, но будет затруднена при добавлении Q + Pi.
В некоторой степени это является основой для объектно-ориентированного программирования. Однако многие языки программирования используют термин «универсальный» в гораздо более ограничительном смысле. В этих языках универсальный класс может быть строго типизирован во время выполнения для любого класса, который реализует известный «интерфейс» (в общем смысле ...), с которым подписчик знает, как взаимодействовать. Языки сильно различаются в зависимости от того, как они реализуют и поддерживают это, поэтому конкретные примеры могут не дать гораздо большего понимания, если вы заранее не определите нужный язык.