Any sets of ordered pairs have a subsets of ordered pair having a meaningful mapping between elements of pairs, and those meaningful mapping is called relation. The relation having unique mapping between antecedent and consequent member of pairs are said to be functions.
The irreducible frontier of cosmological inquiry is defined not by our cognitive capacity to process information, but by the structure of physical law and the boundaries it places on the knowable.