Rust's ownership system is built on three rules: each value has only one owner, the value is dropped when the owner goes out of scope, and at any given moment there can be either one mutable reference or multiple immutable references.