Add quasicompact as alias to compact (#1667)

Author: felixpernegger

properties/P000016.md

@@ -1,6 +1,8 @@
 ---
 uid: P000016
 name: Compact
+aliases:
+  - Quasi-compact
 refs:
   - zb: "0386.54001"
     name: Counterexamples in Topology
@@ -14,6 +16,8 @@ Equivalently, every open cover of the space has an [open] finite refinement.
 
 Defined on page 18 of {{zb:0386.54001}}.
 
+Some authors call this property "quasi-compact", and use "compact" to mean quasi-compact and {P3}.
+
 ----
 #### Meta-properties