# APS-on-APS action

This term is related to: APS theory

View other terms related to APS theory | View facts related to APS theory

## Definition

Let be an APS of groups and an APS of sets. An **action** of on is defined as the data of an action of on for every , such that for any natural numbers and any elements , we have: