Relation domain
Set
| context | R |
| c∈R | |
| postulate | ∀c. ∃a,b. c=⟨a,b⟩ |
| definiendum | x∈dom(R) |
| postulate | ∃y. ⟨x,y⟩∈R |
Discussion
Reference
Wikipedia: Domain of a function
Parents
Context
| context | R |
| c∈R | |
| postulate | ∀c. ∃a,b. c=⟨a,b⟩ |
| definiendum | x∈dom(R) |
| postulate | ∃y. ⟨x,y⟩∈R |
Wikipedia: Domain of a function
