מערכות בעלות מימד הילברט סופי