Własność Knastera – własność praporządków rozważana w teorii forsingu, teorii algebr Boole’a oraz topologii (w ostatnich dwóch dziedzinach formułowana odpowiednio jako własność algebry Boole’a lub własność przestrzeni topologicznej). Jest ona określana jako silna własność przeliczalnych antyłańcuchów (ccc). Nazwa tej własności została wprowadzona dla uhonorowania polskiego matematyka Bronisława Knastera, który pierwszy badał podobne własności.
Definicje Niech będzie praporządkiem. Zbiór jest połączony (ang. linked), jeśli każde dwa elementy mają wspólne ograniczeni dolne w czyli gdy
Praporządek ma własność Knastera, jeśli każdy nieprzeliczalny podzbiór zawiera nieprzeliczalny zbiór połączony. Powiemy, że algebra Boole’a ma własność Knastera, jeśli porządek booleowski (na ) ma własność Knastera. Ponieważ w algebrze Boole’a zbiory połączone to zbiory elementów parami nierozłącznych, warunek ten możemy sformułować następująco: każdy nieprzeliczalny podzbiór zawiera nieprzeliczalny podzbiór dla którego mamy
Powiemy, że przestrzeń topologiczna ma własność Knastera, jeśli rodzina niepustych zbiorów otwartych w uporządkowana przez inkluzję ma własność Knastera.