Two further classes of incidence properties will prove to be of great utility.
Regional Incidence Properties
The definition of a local flag can be broadened from a point to a subset of a relational domain, arriving at the definition of a regional flag in the following way.
Let be a -place relation
Choose a relational domain and a subset
Then is a subset of called the flag of with at or the -flag of a mathematical object with the following definition.
Numerical Incidence Properties
A numerical incidence property of a relation is a local incidence property predicated on the cardinalities of its local flags.
For example, is said to be -regular at if and only if the cardinality of the local flag is for all in — to write it in symbols, if and only if for all
In a similar fashion, one may define the numerical incidence properties, -regular at -regular at and so on. For ease of reference, a few definitions are recorded below.
cc: Category Theory • Cybernetics (1) (2) • Ontolog Forum (1) (2)
cc: Structural Modeling (1) (2) • Systems Science (1) (2)
cc: FB | Relation Theory • Laws of Form • Peirce List
Pingback: Survey of Relation Theory • 4 | Inquiry Into Inquiry
Pingback: Relation Theory • Discussion 3 | Inquiry Into Inquiry
Pingback: Survey of Relation Theory • 5 | Inquiry Into Inquiry
Pingback: Survey of Relation Theory • 2 | Inquiry Into Inquiry
Pingback: Survey of Relation Theory • 3 | Inquiry Into Inquiry
Pingback: Survey of Relation Theory • 6 | Inquiry Into Inquiry