theorem :: MMLQUERY:65

for X being set
for L1, L2 being List of X holds ROUGH (<*L1,L2*>,1) = L1 OR L2