Classifying and identifying quadrilaterals

Start from the most general shape and add one restriction at a time.

• Quadrilateral — any closed figure with four straight sides. No restriction at all.
• Trapezium — a quadrilateral with at least one pair of parallel sides. This is the first restriction: pick out the quadrilaterals that have some parallelism.
• Kite — a quadrilateral with two distinct pairs of adjacent sides equal (equal sides that share a vertex, not opposite sides). A kite sits on its own branch and is generally not a trapezium or a parallelogram.
• Parallelogram — a quadrilateral with both pairs of opposite sides parallel. Since it has at least one pair of parallel sides (in fact two), a parallelogram automatically satisfies the trapezium condition too.
• Rhombus — a parallelogram with the extra restriction that all four sides are equal.
• Rectangle — a parallelogram with the extra restriction that all four angles equal $90°$.
• Square — a quadrilateral that satisfies both extra restrictions at once: all sides equal and all angles $90°$. Equivalently, a square is a shape that is simultaneously a rhombus and a rectangle.

Writing "$\subset$" for "is always a special case of," the chain of restrictions is:

where: $A \subset B$ means every shape of type $A$ is also, automatically, a shape of type $B$ — but not every shape of type $B$ needs to be of type $A$. Reading the first chain aloud: every square is a rectangle, every rectangle is a parallelogram, every parallelogram is a trapezium, every trapezium is a quadrilateral. The second chain says a square is also a rhombus, and every rhombus is a parallelogram. A kite is not part of either chain — it branches off from "quadrilateral" on its own, since its equal sides are adjacent rather than opposite, so it does not generally have parallel opposite sides.

The task here is to show why the hierarchy is a strict one-way chain — why every square must be a rectangle but not every rectangle a square, and why checking properties in a fixed order (parallel sides, then equal sides, then right angles) always lands on the single most specific correct name for a quadrilateral, with no ambiguity and no possibility of skipping a level.

Step 1. Each shape in the chain is defined by adding a condition to the shape above it, never by removing one. A parallelogram is "a trapezium with a second pair of parallel sides." A rhombus is "a parallelogram with all sides equal." Because each definition only adds a requirement, anything that satisfies the stricter definition automatically satisfies every looser one it was built from — a rhombus, having inherited "opposite sides parallel" from parallelogram, is a parallelogram by construction, and a parallelogram is a trapezium by construction. This is why the arrows in the hierarchy only ever point one way, from special to general.

Step 2. The reverse direction fails precisely because the extra condition is not guaranteed. A parallelogram need not have all sides equal, so it need not be a rhombus; a rectangle need not have all sides equal, so it need not be a square. Producing a single counterexample — a $4\times6$ rectangle, which has all angles $90°$ but unequal sides — is enough to kill the reverse claim "every rectangle is a square" for good. This is why classification problems are answered by checking conditions, not by assuming a shape has every property a picture might suggest.

Step 3. Checking conditions in order — parallel sides first, then equal sides, then right angles — never misses a level because each check only makes sense once the previous one has passed. "All sides equal" only earns the name rhombus once the shape is already known to be a parallelogram (otherwise "all sides equal" describes a rhombus-shaped kite outline that is not a true rhombus, since its sides are not parallel). Working top-down through the tree, stopping at the last condition the shape actually satisfies, therefore always produces the unique most specific correct name — never too general, never a name it has not earned.

Problem. Quadrilateral $PQRS$ has $PQ \parallel SR$ and $PS \parallel QR$ (both pairs of opposite sides parallel), all four sides equal in length, and one measured angle of $\angle P = 90°$. Name $PQRS$ as specifically as possible, and state which named shapes it does not belong to and why.

Step 1. Because both pairs of opposite sides are parallel, $PQRS$ satisfies the parallelogram condition directly — it is at least a parallelogram, and therefore also at least a trapezium (parallelogram $\subset$ trapezium).

Step 2. All four sides are equal, which is the extra condition that upgrades a parallelogram to a rhombus. So $PQRS$ is a rhombus.

Step 3. One angle is measured as $\angle P = 90°$. In a parallelogram, adjacent angles are supplementary and opposite angles are equal, so if $\angle P = 90°$ then $\angle Q = 180° - 90° = 90°$ too, and likewise $\angle R = \angle P = 90°$, $\angle S = \angle Q = 90°$. All four angles are $90°$, so the rectangle condition is also satisfied.

Step 4. $PQRS$ is a parallelogram with all sides equal and all angles $90°$ — exactly the definition of a square. It is not merely "a rhombus" or merely "a rectangle," because it satisfies both extra conditions at once, and the name that captures both is square.

Answer: $PQRS$ is a square. It is also, correctly but less specifically, a rhombus, a rectangle, a parallelogram, and a trapezium — but it is not a kite, since a kite's equal sides are adjacent pairs rather than all four sides being equal, and $PQRS$'s equal sides are not arranged that way.

• Stopping at the first name that fits, instead of the most specific one. A shape with all sides equal and all angles $90°$ should be called a square, not left as "a rhombus" — always continue checking further down the chain once an earlier condition is satisfied.
• Assuming "trapezium" and "parallelogram" are mutually exclusive. Under the "at least one pair of parallel sides" definition, every parallelogram technically is a trapezium too; in practice, once the stronger parallelogram condition is confirmed, use that more specific name instead.
• Treating a kite as a parallelogram. A kite's equal sides are adjacent, not opposite, so its opposite sides are generally neither parallel nor equal — it sits outside the trapezium-parallelogram chain entirely.
• Reversing the hierarchy in a written justification. Writing "since it is a parallelogram, it must be a rhombus" reverses the logic — inheritance runs from special shapes up to general ones, never the other way, so an extra condition (equal sides, or right angles) must always be checked and stated, not assumed.

Ask the tutor: Want a quick-fire round where your AI tutor gives you a mix of quadrilateral property lists and sketches and checks whether you can always land on the single most specific name?