add set ADT