(logic and mathematics) a relation between three elements such that if it holds between the first and second and it also holds between the second and third it must necessarilyhold between the first and third