Účelem systému je množina invariantů, které udržuje.
12,7K