分式理想(fractional ideal)是比理想更广的一种理想。它由整环的商域中元构成。设K是整环R的商域。若X是R模K的子模，并且存在K中非零元β使得βXR，则称X为R的一个分式理想。理想是集合论中的基本概念之一。