A bir dolam ve S, A içindeki kısaltılabilir öğelerinin kümesi olmak üzere S ye göre üleşkeler dolamı. Simgesi : (?)