فرض کنید g گرافی با مجموعه رئوس v باشد. زیرمجموعه d از v یک مجموعه احاطه گر است هرگاه هر راس از v-d با راسی از d مجاور باشد. افراز دماتیک رئوس عبارت است از افراز رئوس به مجموعه های احاطه گر. بیشترین تعداد مجموعه در چنین افرازی، عدد دماتیک g نامیده میشود. فرض گنید f تابعی باشد که به رئوس گراف مقادیر 0، 1 و 2 را نسبت می دهد. هرگاه هر راس با مقدار 0 با راسی با مقدار 2 مجاور باشد، به چنین تابعی تابع احاطه ای رومی گفته میشود.