założenie, teza
Jeżeli czworokąt jest trapezem, to ma co najmniej jedną parę boków równoległych.
Teza jest zdaniem głównym, które chcemy udowodnić lub wyjaśnić. Założenie to pierwotny warunek, który musi być spełniony, aby móc skorzystać z reguły, którą teza opisuje. W tym przypadku założenie to istnienie dwóch przyległych kątów.