Smallest-cardinal equation