ファジィ集合（ファジィしゅうごう、英語：fuzzy set）は、自然言語で表されるような曖昧な対象を定量化し、通常の集合（集合の要素であるかないかが、「ある」か「ない」のどちらかであるような集合）と同じように演算など（集合代数）の対象とされる、集合である。1965年にロトフィ・ザデーによって提唱された。集合に帰属する度合を表すメンバシップ関数により、曖昧な対象を定量化して扱う。なお、日本語の「曖昧」という言葉は多義的で、「多義的」（2つ以上の意味にとれる）という意味があるが、ファジィはファズの形容詞形で、たとえば綿毛（冠毛）のような、境界がはっきりしないようす、周辺が不明瞭なことを意味し、多義的という意味はない。一般に集合の体系には論理の体系が対応するが、ファジィ集合に対応するのはファジィ論理である。ファジィ集合やファジィ論理を利用した制御をファジィ制御といい、これらのファジィに関する理論をファジィ理論という。あるファジィ集合の要素である度合いは、メンバシップ関数によって表される。例えばある年齢の人間を「若者」「中年」「老人」という3種類にわけることを考える。このときどこまでの年齢を若者とするか老人とするかは人によって意見の分かれる部分である。ファジィ理論ではこのような曖昧な事象を定量化し、集合のように扱うことを可能にする。例えば若者に属する集合を A、中年に属する集合を B、老人に属する集合を Cとすると「35歳の人間」 x はという風に表す、ここでは35歳の人間は0.7の割合で中年に属し0.2の割合で若者に属し0.1の割合で老人に属すると置いている（実際に正しいかどうかは別、あくまでこのように定義するという指標）。このとき formula_4 である。（ただし、各概念がこのようにきちんと分割できなければいけないというわけではない。）このように「どこまで属する」という事柄を割合として表すことのできる集合 formula_5 をファジィ集合といい、具体的な割合の数値をだす各formula_6をメンバシップ関数という。メンバシップ関数の値が0か1にしかならないのが、 通常の集合（非ファジィ集合、あるいはクリスプ集合と呼ぶ）であり、ファジィ集合は通常の集合の拡張といえる。なお、ここで「年齢」という「変数」を考え、その「値」として「若者」「中年」「老人」という値をとる、といったようにして、（ファジィの研究者の用語で）「言語学的変数」（linguistic variables）といったものを導入することがあるが、以上で説明したように、最終的には実数値を扱うものであり、（ソシュールやチョムスキーらによるような）言語学的な何かがそこにあるわけではない。通常の集合の各基本演算に対応するファジィ集合の基本演算がそれぞれ定義されている。ファジィ理論では特にメンバシップ関数の大小が大きく影響するので、とあらかじめ定義される。このときファジィ集合を formula_9と各メンバシップ関数を formula_10 とおくと各演算はとなるメンバシップ関数をもつ集合と定義される。また対等関係、包含関係は以下のように表す。ここで formula_16 は全体集合のことである。これらの定義からファジィ集合には以下の定理が成り立つことが証明されている。また、ファジィ集合独自の演算として以下のようなものが定義されている。

出典:wikipedia