for A being set holds FinUnion A is idempotent