We come now to the special cases of dyadic relations known as functions. It will serve a dual purpose in the present exposition to take the class of functions as a source of object examples for clarifying the more abstruse concepts of Relation Theory.
To begin, let us recall the definition of a local flag of a -adic relation
For a dyadic relation the notation for local flags can be simplified in two ways. First, the local flags and are often more conveniently notated as and respectively. Second, the notation may be streamlined even further by making the following definitions.
In light of these conventions, the local flags of a dyadic relation may be comprehended under the following descriptions.
The following definitions are also useful.
A sufficient illustration is supplied by the earlier example
Figure 36 shows the local flag of
Figure 37 shows the local flag of
- Peirce’s 1870 Logic of Relatives • Part 1 • Part 2 • Part 3 • References
- Logic Syllabus • Relational Concepts • Relation Theory • Relative Term