Sistema bat edo sistema baten zati bat aztertzeko prozesua, zehaztutako ezaugarriak betetzen dituen jakiteko egiten dena.