Danh sách định thức và quan hệ tập hợp