エドガー・F・コッド
関係モデルを考案したエドガー・F・コッドは、当初はこの数学上の定義を使って組を定義していた。