بازتابی بودن همچنین شناخته شده با: انعکاسی بودن برابر انگلیک (انگلیسی): Reflexivity دیسهای ψ ⊢ ψ (𝑖.𝑒. {ψ} ⊢ ψ)ψ ⊢ ψ (i.e. {ψ} ⊢ ψ)