What is the empty relation?

Solution 1:

A relation on a set $A$ is by definition a subset $R\subseteq A\times A$. Then "$a$ is related to $b$" means "$(a,b)\in R$. The empty relation is then just the empty set, so that "$a$ is related to $b$ is always false.