Relational System
A relational system is a structure R=(S,{P_i:i in I},{f_j:j in J}) consisting of a set S, a collection of relations P_i(i in I) on S, and a collection of functions f_j(j in J) on S.
This entry contributed by Viktor Bengtsson
Explore with Wolfram|Alpha
WolframAlpha
More things to try:
Cite this as:
Bengtsson, Viktor. "Relational System." From MathWorld--A Wolfram Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/RelationalSystem.html