We introduce the notion of an M-family of infinite subsets of N which is implicitly contained in the work of Mathias. We study the structure of a pair of orthogonal hereditary families A and B, where A is analytic and B is C-measurable and a M-family.