idempotent sets

listen to the pronunciation of idempotent sets