סימן פא סעיף ה

אֵיזֶהוּ מְקוֹם פְּטוֹר. כָּל מָקוֹם בִּרְשׁוּת הָרַבִּים שֶׁאֵין בּוֹ אַרְבָּעָה עַל אַרְבָּעָה וְהוּא גָּבוֹהַּ מִשְּׁלֹשָׁה וּלְמַעְלָה, אוֹ בּוֹר שֶׁאֵין בּוֹ אַרְבָּעָה עַל אַרְבָּעָה וְעָמֹק מִשְּׁלֹשָׁה לְמַטָּה, וְכֵן מָקוֹם שֶׁאֵין בּוֹ אַרְבָּעָה עַל אַרְבָּעָה וּמֻקָּף בִּמְחִצּוֹת מִשְּׁלֹשָׁה וּלְמָעְלָה. וְכָל אֵלּוּ דַּוְקָא כְּשֶׁהֵן בִּרְשׁוּת הָרַבִּים הֵן מְקוֹם פְּטוֹר. אֲבָל אִם הֵן בְּכַרְמְלִית, הֲרֵי הֵן גַּם כֵּן כַּרְמְלִית (שמ"ה).

What is a mekom petur? It is any place in a public domain that does not measure four [tefachim] square and is more than three [tefachim] high; or a pit that is not four [tefachim] square and is deeper than three [tefachim] ; and a place that does not measure four [tefachim] square but is surrounded by partitions of three or more [tefachim] high.²⁴Shulchan Aruch 345: 19. All these places [are exempt] only when they are in a public domain, [for then] they are considered a mekom petur. But when they are in a karmelis, they are also considered part of karmelis.

תנא דבי אליהו כל השונה הלכות בכל יום מובטח לו שהוא בן העולם הבא שנאמר הליכות עולם לו אל תקרי הליכות אלא הלכות (נדה ע"ג.)