option "ordered" for *SetEqual