Set theory
في نظرية المجموعات، مبدأ الضرب هذا غالباً ما يؤخذ على أنه تعريف لحاصل ضرب عدد أصلي. لدينا: