pole relace

pole relace, množina, která je sjednocením oboru a inverzního oboru dané relace, tj. množin všech předmětů, které jsou v dané relaci alespoň k jednomu předmětu, a těch, ke kterým je v dané relaci alespoň jeden předmět.