Splitting families of sets in ZFC