1: \begin{abstract}

2: A binary relation on a finite set is called a Hall relation if it contains a permutation of the set. Under the usual relational product, Hall relations form a semigroup which is known to be a block-group, that is,

3: a semigroup with at most one idempotent in each $\mathrsfs{R}$-class and each $\mathrsfs{L}$-class. Here we show that in a certain sense, the converse is true: every finite block-group divides a semigroup of Hall relations on a finite set.

4: \keywords{Hall relation, reflexive relation, $\mathrsfs{J}$-trivial semigroup, block-group, power semigroup, semidirect product, semigroup division}

5: \end{abstract}