תנאים להפרדה לקסיקוגרפית