for X being set holds {} is relation of X