12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday June 18, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Inquiry Driven Systems (view source)
Revision as of 19:12, 29 August 2007
, 19:12, 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 "<font face="system">:<s><</s></font>", pronounced ''set-in'', with either of the following two type-markings:
:: <font face="system">:<s><</s></font> ⊆ ''J'' × ''P'' × ''Q'',
:: <font face="system">:<s><</s></font> ⊆ ''J'' × ''X'' × ''X''.
: The propping relation of an OG is denoted by the symbol "<font face="system">:<s>></s></font>", pronounced ''set-on'', with either of the following two type-markings:
:: <font face="system">:<s>></s></font> ⊆ ''J'' × ''Q'' × ''P'',
:: <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'' = {''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.
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.
