Closed fabianneuhaus closed 10 years ago
axiomatize relation
make functional. both binary and ternary
axiomatize relation