12,089
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems (view source)
Revision as of 02:48, 29 August 2007
, 02:48, 29 August 2007→1.3.4.13. Formalization of OF : Objective Levels: markup
The following conventions are useful for discussing the set-theoretic extensions of the staging relations and staging operations of an OG:
The following conventions are useful for discussing the set-theoretic extensions of the staging relations and staging operations of an OG:
# The standing relation of an OG is denoted by the symbol ":<", pronounced ''set-in'', so that :< ? JxPxQ or :< ? J?X?X.
# The standing relation of an OG is denoted by the symbol "<font face="system">:<s><</s></font>", pronounced ''set-in'', so that <font face="system">:<s><</s></font> ⊆ ''J'' × ''P'' × ''Q'' or <font face="system">:<s><</s></font> ⊆ ''J'' × ''X'' × ''X''.
# The propping relation of an OG is denoted by the symbol ":>", pronounced ''set-on'', so that :> ? J?Q?P or :> ? J?X?X.
# The propping relation of an OG is denoted by the symbol "<font face="system">:<s>></s></font>", pronounced ''set-on'', so that <font face="system">:<s>></s></font> ⊆ ''J'' × ''Q'' × ''P'' or <font face="system">:<s>></s></font> ⊆ ''J'' × ''X'' × ''X''.
Often one's level of interest in a genre is ''purely generic''. When the relevant genre is regarded as an indexed family of dyadic relations, G = {Gj}, then this generic interest is tantamount to having one's concern rest with the union of all the dyadic relations in the genre.
Often one's level of interest in a genre is ''purely generic''. When the relevant genre is regarded as an indexed family of dyadic relations, ''G'' = {''G''<sub>''j''</sub>}, then this generic interest is tantamount to having one's concern rest with the union of all the dyadic relations in the genre.
: UJG = Uj Gj = {‹x, y› ? X?X : ‹x, y› ? Gj for some j ? J}.
: UJG = Uj Gj = {‹x, y› ? X?X : ‹x, y› ? Gj for some j ? J}.