Mam dwa pliki: plik 1 z około 10 000 linii i plik 2 z kilkuset liniami. Chcę sprawdzić, czy wszystkie linie pliku2 występują w pliku1. To znaczy: ∀ linia ℓ ∈ plik2: ℓ ∈ plik1
Jeżeli ktokolwiek nie wie, co oznaczają te symbole lub co „sprawdź, czy wszystkie linie pliku 2 występują w pliku 1”: Kilka równoważnych linii w obu plikach nie wpływa na to, czy kontrola zwraca, czy pliki spełniają wymagania, czy nie.
Jak mam to zrobic?
file2
zawiera 2 linieA
, czy musiszfile1
zawierać co najmniej 2 linieA
?