For example, if I(a) = I(b) and O(a) = O(b) then adding the entailments b -> a and a -> b would add a to I(b) and O(b), and add b to I(a) and O(b), thus distinguishing the respective input and output sets.
Напрыклад, калі я (а) = I (B) і O () = O (б), то даданне entailments B -> і -> б хацеў бы дадаць, каб я (б) і Аб (б), і дадаць да б я () і Аб (б), што адрознівае адпаведных ўваходных і выходных мностваў.