We present a version for K-distributive ideals over a regular in finit
e cardinal kappa of some of the combinatorial results of Mathias on ha
ppy families. We also study an associated notion of forcing, which is
a generalization of Mathias forcing and of Prikry forcing.