define.py

def P(X):
    """
    X is P, if it auto-satisfate itself
    """
    return X(X)

def V(X):
    """
    X is V, if X is a property
    """
    return callable(X)

print(V(V)) # True
print(P(V)) # True
print(P(P)) # Infinite loop