1) By actual infinity I mean that given X, it is inaccessible by Y, where Y is a placeholder for any possible non-finite set, such that no non-finite set is accessible to X (X is beyond the notion of collection of objects, where set is a particular case of collection).
2) By (1) any given non-finite set it is permanently under construction (it can't have an accurate cardinal number), which means that Y is defined in terms of potential infinity with respect to X.
3) Both X and Y are used in the considered mathematical framework.
In order to be clearer I wish to share some of my notions about this question.
Here is a quote taken from Wikipedia:
"A cardinal number λ is a weak limit cardinal if λ is neither a successor cardinal nor zero. This means that one cannot "reach" λ from another cardinal by repeated successor operations. These cardinals are sometimes called simply "limit cardinals" when the context is clear."
By Cantorian mathematical framework, actual infinity is (at least) defined in terms of sets, such that |N| is the weak limit cardinal of the set of all natural numbers (where |N| is the smallest weak limit cardinal).
If one defines actual infinity by going beyond sets, then any non-finite cardinal number that is based on sets, is inaccessible to actual infinity (it can't measure actual infinity), and therefore it can't have an accurate value (being inaccessible means permanently under construction).
This is exactly what I do by defining a given circle (which its circumference > 0) as a non-composed object (it is not defined as a collection (or more specifically, set) of objects (set of points, in this case)).
So, x (the circle's circumference) > 0, where the division operation is used here to define the number of points on the circle (I use the term "on" in order to indicate that a given circle is not defined as a collection (or more specifically, set) of objects (set of points, in this case)).
Let us use the framework of modular arithmetic in order to examine the concept of cardinal numbers, which "are a generalization of the natural numbers used to measure the cardinality (size) of sets" (quoted from Wikipedia).
Let B be a point and let A be a non-composed circle, such that it is not defined as a set of points.
Let the circumference of the non-composed circle be x, such that x > 0.
Let the division operation be used here in order to denote the number of Bs on A (we are using here the term "on" in order to indicate that A is not defined as a set of B objects).
By this framework:
x/0 indicates that there are 0 Bs on A (A is not defined as a set of B objects).
x/1 indicates that there is 1 B on A (A is not defined as a set of B objects).
x/2 indicates that there are 2 Bs on A (A is not defined as a set of B objects).
x/3 indicates that there are 3 Bs on A (A is not defined as a set of B objects).
Etc. ad infinitum … (where A is not defined as a set of B objects).
By this framework:
a. x/0 is a valid mathematical expression, which indicates that A is non-composed (A is not defined as a set of B objects).
b. By a., No cardinal number > 0 of Bs on A, defines A as non-composed (exactly because A is not defined as a set of B objects).
c. By b., A is defined in terms of actual infinity, where any non-finite cardinal number is a measurement of potential infinity (which means that infinite sets are defined in terms of potential infinity).
d. By c., no non-finite set has an accurate cardinal number (by this framework non-finite sets are defined in terms of potential infinity), since it is inaccessible to A, which is defined in terms of actual infinity.
e. Such framework is non-Cantorian.
The usefulness of such framework:
It defines infinite sets (or more generally, infinite collections of objects) as open systems, which may lead to better understanding of non-entropic systems (for example, living systems can be researched by mathematical tools that do not define the size of non-finite sets by fixed values, as done in case of finite sets).
Moreover, by looking at A as a non-composed 1-dim string-like object, it is actually used to gather any number > 0 of Bs into collections (of 0-dim beads-like objects), so we get a simple non-Cantorian model of the concept of set, which is a particular case of the concept of collection (generally, any pair of (n,k) dims, such that n=non-negative integer and k=non-negative integer > n, can be used (which means that modular arithmetic framework is some particular case of the considered mathematical framework)).