In functional analysis and related areas of mathematics an FK-AK space or FK-space with the AK property is an FK-space which contains the space of finite sequences and has a Schauder basis.
An FK-AK space has the property
FK-AK spaces are separable spaces.