ラミナ族

層族（そうぞく、; ラミナー族）は集合族の種類のひとつである。
集合 V の部分集合 A と B は、A と B の共通集合が空集合でなく、かつ B と A の差集合が空集合でなく、かつ A と B の差集合が空集合でないとき交差 (intersect) するという。
V の部分集合の族 formula_1 は formula_1 におけるどの 2 つの集合も互いに交差しないときラミナ族とよばれる。
層族 formula_1 が V を含むときformula_1 は無交叉族 (cross-free family) であり、有向木で表現できる。