1.Definition: a check that restrains another check

Category: General

2.Definition: something that checks the correctness of a previous check

Category: General