Proper sub-APS

From Apstheory

This article defines terminology that is local to the wiki. For its use outside the wiki, please give full definitions

This article describes a property that can be evaluated for a sub-APS of an APS and uses only set-theoretical properties

A sub-APS Failed to parse (Can't write to or create math temp directory): H

of an APS Failed to parse (Can't write to or create math temp directory): G
is termed proper if there is an index Failed to parse (Can't write to or create math temp directory): n
for which Failed to parse (Can't write to or create math temp directory): H_n
is a proper subset of Failed to parse (Can't write to or create math temp directory): G_n

.