Is the empty set a relation?

All the elements of the empty set are ordered pairs. To contradict this statement you will have to provide an element which is a counterexample, an element of the empty set which is not an ordered pair.

Since there is no such element, it follows that all the elements of the empty set are ordered pairs. Therefore the empty set is a relation.


Yes. Every element of the empty set is an ordered pair (vacuously), so the empty set is a set of ordered pairs.


It's probably best to say that a relation is an ordered triple $(A, B, R)$, where $R \subset A \times B$, so that the two sets on which the relation "operates" are explicit. With that convention, you can say that for any two sets $A$ and $B$, the triple $$ (A, B, \emptyset) $$ is a relation on $A$ and $B$.

The downside of using an ordered triple is that you then have to be careful about subsequent definitions where you might only want the "rule" part ($R$) of the relation...but that's not a big deal.

Tags:

Functions

Elementary Set Theory

Relations

Related

How many $\alpha \in S_n$ are such that $\alpha^2 = 1$? Finding eigenvalues of an unknown matrix subtracted by the identity matrix How prove this two symmetric matrices $AB=0$ In statistics, why do you reject the null hypothesis when the p-value is less than the alpha value (the level of significance) Confused about the definition of a group as a groupoid with one object. Calculating $\int_{0}^{\infty} x^{a-1} \cos(x) \ \mathrm dx = \Gamma(a) \cos (\pi a/2)$ Prove $(a + b) \bmod n = (a \bmod n + b \bmod n) \bmod n$ Group with exactly two subgroups of index 2 Is an integer a sum of two rational squares iff it is a sum of two integer squares? Let $a, b, c$ be positive real numbers such that $abc = 1$. Prove that $a^2 + b^2 + c^2 \ge a + b + c$. Solve $3^x + 28^x=8^x+27^x$ Homogeneous riemannian manifolds are complete. Trouble understanding proof.

Recent Posts