Definition:Self-Product