ABSTRACT
This chapter offers an initial attempt at mathematical primitives for modeling relational structures based on naïve set theory. It proposes the notion of subset system as a set-theoretic foundation of relational structure. This conceptualization merely stipulates that whenever a set V is specified, one needs to also specify the collection of subsets E. These two aspects are inalienably linked in order for elements of V, as well as for members of E, to be in various relations with each other. Set theory is a universal language for modeling mathematical objects. Modern set theory, initiated by Cantor and Dedekind in the 1870s and amended by Zermelo-Fraenkel axioms, is held by mainstream mathematicians as providing a solid foundation for all branches of mathematics and has enjoyed great success in providing a universal language to construct necessary tools for handling physical and engineering systems.
