Revision #789 → #1222 · back to history
addedFinitary relationaa0e5d5d2ed5
addedArity of a relation2527604b2f50
addedGraph of a relationf6ecc408705c
addedR-related notation58872e6f37a8
addedith domain of R146c6d29c420
addedNonsimple domaina98500b39eb9
addedith domain of definition (active domain)ffd761b5850a
addedTotal on ith domain1e87df0badd8
addedLeft-total / serial / right-total / surjectivecb5efe83d861
addedUnique on a set; primary key4f3aedc753d6
addedLeft-unique (injective) / univalent (right-unique)0f20be26c649
addedHomogeneous vs heterogeneous relationa7c20aaad571
addedEmpty relation over empty domain352d8c2846b4
addedCharacteristic function of Rc5008b320b8f
addedn-ary predicatee8acd6a0ae2b
addedDefinition of n-ary relation (theorem box)7eb01c2c5717
addedNullary relationsec5eb33cf31c
addedUnary relationsb3681e95aa37
addedNullary function is a unary relation68e80337dadf
addedBinary relationsfbb1835aea56
addedEquality and inequalityc2379ade9087
addedDivisibilityac2d4c48e877
addedSet membershipf7c07172d622
addedTernary relations62961be874a3
addedTernary relation 'x thinks that y likes z'fcfb1ee8fe10