domain_element (127B)
1 # Domain element 2 3 A *domain element* is an element of the [domain] of a [structure] or of a [relational_instance] 4 5 Up: [logic]
wiki_researchpersonal research wiki | |
| git clone https://a3nm.net/git/wiki_research/ | |
| Log | Files | Refs |