Each set of assertions is termed an alternative.

每组断言集在术语上称为替代。