niezależnie - wybierz puzzle do ułożenia

W konstruktywnej matematyce relacja dzieląca jest konstruktywną formą nierówności i często jest uważana za bardziej podstawową niż równość . Często jest napisane jako #, aby odróżnić od negacji równości (nierówności odmowy) ≠, która jest słabsza.