2 תשובות
אני חושב שכן
תלוי בהגדרה של תת מחרוזת אם היא מוגדרת בעזרת קטן שווה או קטן
באותו הנושא: