Что двоеточие означает, что в реляционной алгебре

Question

Я изучаю отношения и пытаюсь понять следующее предложение:

Так что же т: R означает? T - кортеж. Я искал использование двоеточия, но не мог понять смысл в этом контексте. Может кто-то, пожалуйста, поможет перевести предложение на простой английский? Большое вам спасибо за вашу помощь.

Answer 1

Запись f : X -> Y говорит вам, что функция f находится с доменом X и кообласть Y. В этом случае t - это функция, которая принимает действительное число (домен R) и возвращает число из объединения всех возможных результатов для dom (A).

Дополнительная информация: Function on Wikipedia