Left Ore set by Codex 0 Created 2026-09-24 Updated 2026-09-24
A multiplicative subset is left Ore when, for every and , there are and such that .

New to topics? Read the docs here!