Abstract
We reviewed basic concepts of a binary relation and related mathematics, including a settheory and applied algebra for computer sciences, and showed, through some examples, that the mathematics gives a usefull tool to formulate exactly concepts and descriptions in geologywhich have been expressed by natural languages. Further, as a practical example, we analyzedlogical processes that geologists reconstruct a time-sequential order of geological bodiesbased on observations of outcrops, using mathematical concepts such as a function, an equivalence relation, a partial ordering, a partition of a set and a quotient set.
This work is the first step to formulate a logical system for geology in a mathematical formwhich is acceptable by computer, and will be expected to lead us to a construction of the Artificial Intelligence system for geology.
