Relations
摘要
All further discussion will be based on a formal definition of relation, given in Definition 7.1. Then, in Definition 7.2, we introduce the central notion of definability in structures, and we proceed with examples of structures with small domains, including the two element algebraic field \(F_2\) .