union

fun Set<Atom>.union(other: Set<Atom>): MutableSet<Atom>
fun Iterable<Set<Atom>>.union(): MutableSet<Atom>