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 |