(İng. formal fraction)
mat. D bir tamlık bölgesi olmak üzere, bu D tamlık bölgesinin kesirler cismini oluşturan ve D x D / {0} üzerinde “ancak ve ancak ad = bc ise (a, b) ? (c, d) dir” şeklinde tanımlanmış ? eşdeğerlik bağıntısının eşdeğerlik sınıfları.