Ví dụ, một quan hệ tương đương được yêu cầu thỏa mãn tính đối xứng.Một dàn là một cấu trúc trừu tượng được nghiên cứu trong các phân ngành toán học của lý thuyết thứ tự và đại số trừu tượng. Nó bao gồm một tập hợp được sắp thứ tự một phần trong đó mỗi cặp hai phần tử có một supremum duy nhất và một infimum duy nhất.Một ví dụ là tập hợp các số tự nhiên, được sắp xếp một phần theo quan hệ chia hết, theo đó supremum duy nhất là bội số chung nhỏ nhất và infimum duy nhất là ước số chung lớn nhất. (Lưu ý rằng tập các số tự nhiên sắp xếp theo quan hệ thứ tự thông thường cũng là một dàn, với supremum duy nhất là số lớn hơn, infimum duy nhất là số nhỏ hơn).