செயல்பாட்டு துணைக்குழுவின் கீழ் ஒரு வரையறுக்கப்பட்ட தொகுப்பின் அனைத்து துணைக்குழுக்களின் அமைப்பும் ஒரு ஜாலகத்தை உருவாக்குகிறதா?
ஒரு பகுதி வரிசைப்படுத்தப்பட்ட தொகுப்பு என்பது ஒரு வரையறுக்கப்பட்ட உறுப்புகளின் தொகுப்பு (வெற்று தொகுப்பு உட்பட) ஒரு இணைப்பு மற்றும் ஒரு சந்திப்பைக் கொண்டிருந்தால் மட்டுமே ஒரு வரம்புக்குட்பட்ட ஜாலியாகும். ஒரு நிலைப்பாட்டின் ஒவ்வொரு உறுப்பு x க்கும் இது அற்பமான உண்மை (இது ஒரு வெற்றிட உண்மை) என்று ஒரு பகுதி வரிசைப்படுத்தப்பட்ட தொகுப்பு.