Definition:Finite Union