Ideas in this flowchart

• Endorelation: how many ordered pairs can it have?
• An endorelation is a relation from a set to itself.
• If the set has n elements, its ordered pairs come from A × A.
• The endorelation can contain between 0 and n² ordered pairs.
• The maximum is n² ordered pairs when the relation equals A × A.