Finished set implementation, union and intersect testing