Rewrite the definition as a biconditional. Isosceles trapezoids have two opposite congruent sides.

To rewrite the definition as a biconditional, we need to express it in the form "P if and only if Q," where P and Q are statements. Let's break down the original definition:

Statement P: Isosceles trapezoids have two opposite congruent sides.
Statement Q: A trapezoid is isosceles if it has two opposite congruent sides.

Now we can construct the biconditional statement:

P if and only if Q.

So, the biconditional statement of the definition is:
An isosceles trapezoid has two opposite congruent sides if and only if a trapezoid is isosceles if it has two opposite congruent sides.