Notion in computational learning theory.