How is rec defined?