An Axiomatic Characterization of Ensconcement-Based Contraction | UPT Perpustakaan UHAMKA