目的論的家族の定義