w matematyce: relacja, która jest zwrotna i przechodnia