Let be a family of groups. A subgroup of the direct product is said to be a subdirect product (or subcartesian product) of if for each , where is the -th projection map.