K-trivial_set