\Vsz> slkic dcsygnat) nazwy P są jednocześnie des>gnatami nazwy S. ale istnieje prz>najmniej jeden dcs>gnat nazw> S, który nic jest dcs> gnatem nazwy P.
Na przykład *.masz>na" i .samochód”