FinSet insertion
FinSet union