Consider a Society consisting of individuals who may belong to various sets called Families and/or Gangs, with the rules: the entire Society is a Family; the empty subset is a Family; the set of individuals belonging to every Family in any collection of Families is a Family (arbitrary intersections); the set of individuals belonging to either of two Families is a Family (finite unions); and a set is a Gang if and only if the set of individuals not in it constitutes a Family. The intersection of two Gangs is necessarily
Tap an option to check your answer.
