relations in discrete