regula polegajaca na tym, ze Ä siec sortujaca, która dziala poprawnie dla wszystkich ciagów zlozonych tylko z zer i jedynek, sortuje poprawnie kazdy ciag wartosci calkowitych, rzeczywistych lub nalezacych do zbioru uporzadkowanego liniowo.
- ZDAŃ RACHUNEK, teoria zdań