חלוקה P של היא קבוצה המקיימת:
עוד נגדיר לכל k את אורך תת קטע מספר k להיות
פרמטר החלוקה של P מוגדר להיות אורך החלק הכי גדול: